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.) CitationKlin, 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.) CitationKlin, 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.
Warning: These citations may not always be 100% accurate.