APA (7th ed.) Citation
(2014). Classical propositional logic and decidability of variables in intuitionistic propositional logic. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Classical Propositional Logic and Decidability of Variables in Intuitionistic Propositional Logic." Logical Methods in Computer Science 2014.
MLA (9th ed.) Citation
"Classical Propositional Logic and Decidability of Variables in Intuitionistic Propositional Logic." Logical Methods in Computer Science, 2014.
Warning: These citations may not always be 100% accurate.