APA (7th ed.) Citation
(2017). Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Cyclic Datatypes Modulo Bisimulation Based on Second-Order Algebraic Theories." Logical Methods in Computer Science 2017.
MLA (9th ed.) Citation
"Cyclic Datatypes Modulo Bisimulation Based on Second-Order Algebraic Theories." Logical Methods in Computer Science, 2017.
Warning: These citations may not always be 100% accurate.