A Vernacular for Coherent Logic

MLA

Stojanovic, Sana, et al. A Vernacular for Coherent Logic. 2014. 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=edsarx&AN=edsarx.1405.3391&authtype=sso&custid=ns315887.

APA

Stojanovic, S., Narboux, J., Bezem, M., & Janicic, P. (2014). A Vernacular for Coherent Logic.

Chicago

Stojanovic, Sana, Julien Narboux, Marc Bezem, and Predrag Janicic. 2014. “A Vernacular for Coherent 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=edsarx&AN=edsarx.1405.3391&authtype=sso&custid=ns315887.