APA (7th ed.) Citation

Klin, B., & Rot, J. (2017). Coalgebraic trace semantics via forgetful logics. Logical methods in computer science, 12, Issue 4, . https://doi.org/10.2168/LMCS-12(4:10)2016

Chicago Style (17th ed.) Citation

Klin, Bartek, and Jurriaan Rot. "Coalgebraic Trace Semantics via Forgetful Logics." Logical Methods in Computer Science 12, Issue 4 (2017). https://doi.org/10.2168/LMCS-12(4:10)2016.

MLA (9th ed.) Citation

Klin, Bartek, and Jurriaan Rot. "Coalgebraic Trace Semantics via Forgetful Logics." Logical Methods in Computer Science, vol. 12, Issue 4, 2017, https://doi.org/10.2168/LMCS-12(4:10)2016.