Cite
Open Higher-Order Logic
MLA
Ugo Dal Lago and Francesco Gavazzo and Alexis Ghyselen, et al. Open Higher-Order Logic. 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1375410954&authtype=sso&custid=ns315887.
APA
Ugo Dal Lago and Francesco Gavazzo and Alexis Ghyselen, Dal Lago, U., Gavazzo, F., & Ghyselen, A. (2023). Open Higher-Order Logic.
Chicago
Ugo Dal Lago and Francesco Gavazzo and Alexis Ghyselen, Ugo Dal Lago, Francesco Gavazzo, and Alexis Ghyselen. 2023. “Open Higher-Order Logic.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1375410954&authtype=sso&custid=ns315887.