Logic-Independent Proof Search in Logical Frameworks: (Short Paper)

MLA

Michael Kohlhase, et al. Logic-Independent Proof Search in Logical Frameworks: (Short Paper). Jan. 2020. 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=edsair&AN=edsair.doi.dedup.....4bf418ed14c14d07da139f151302ce97&authtype=sso&custid=ns315887.

APA

Michael Kohlhase, Jan Frederik Schaefer, Claudio Sacerdoti Coen, & Florian Rabe. (2020). Logic-Independent Proof Search in Logical Frameworks: (Short Paper).

Chicago

Michael Kohlhase, Jan Frederik Schaefer, Claudio Sacerdoti Coen, and Florian Rabe. 2020. “Logic-Independent Proof Search in Logical Frameworks: (Short Paper),” January. 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=edsair&AN=edsair.doi.dedup.....4bf418ed14c14d07da139f151302ce97&authtype=sso&custid=ns315887.