Daniel S. Korn, Christoph Kreitz
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic
CADE, 1997.
@inproceedings{CADE-1997-KornK,
author = "Daniel S. Korn and Christoph Kreitz",
booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}",
doi = "10.1007/3-540-63104-6_15",
isbn = "3-540-63104-6",
pages = "131--145",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Deciding Intuitionistic Propositional Logic via Translation into Classical Logic}",
volume = 1249,
year = 1997,
}