APA (7th ed.) Citation

Adler, I., & Weyer, M. (2012). Tree-width for first order formulae. Logical methods in computer science, 8, Issue 1, . https://doi.org/10.2168/LMCS-8(1:32)2012

Chicago Style (17th ed.) Citation

Adler, Isolde, and Mark Weyer. "Tree-width for First Order Formulae." Logical Methods in Computer Science 8, Issue 1 (2012). https://doi.org/10.2168/LMCS-8(1:32)2012.

MLA (9th ed.) Citation

Adler, Isolde, and Mark Weyer. "Tree-width for First Order Formulae." Logical Methods in Computer Science, vol. 8, Issue 1, 2012, https://doi.org/10.2168/LMCS-8(1:32)2012.