Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Workshops
Publications
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:339, author = "Samuli Heilala and Brigitte Pientka", editor = "Frank Pfenning", title = "Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4", booktitle = "21st International Conference on Automated Deduction (CADE-21), Bremen, Germany, July 17-20, 2007", pages = "116--131", url = {http://dx.doi.org/10.1007/978-3-540-73595-3_9}, volume = "4603", series = "Lecture Notes in Computer Science", publisher = "Springer", year = 2007}