Cite
On structuring proof search for first order linear logic
MLA
Bruscoli, Paola, and Alessio Guglielmi. “On Structuring Proof Search for First Order Linear Logic.” Theoretical Computer Science, vol. 360, no. 1–3, Aug. 2006, pp. 42–76. EBSCOhost, https://doi.org/10.1016/j.tcs.2005.11.047.
APA
Bruscoli, P., & Guglielmi, A. (2006). On structuring proof search for first order linear logic. Theoretical Computer Science, 360(1–3), 42–76. https://doi.org/10.1016/j.tcs.2005.11.047
Chicago
Bruscoli, Paola, and Alessio Guglielmi. 2006. “On Structuring Proof Search for First Order Linear Logic.” Theoretical Computer Science 360 (1–3): 42–76. doi:10.1016/j.tcs.2005.11.047.