Klaus Weich. Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. In Harrie C. M. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Volume 1397 of Lecture Notes in Computer Science, pages 292-306, Springer, 1998. [doi]
@inproceedings{Weich98,
title = {Decision Procedures for Intuitionistic Propositional Logic by Program Extraction},
author = {Klaus Weich},
year = {1998},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1397&spage=0292},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Weich98},
cites = {0},
citedby = {0},
pages = {292-306},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings},
editor = {Harrie C. M. de Swart},
volume = {1397},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64406-7},
}