Ullrich Hustadt, Renate A. Schmidt. Simplification and Backjumping in Modal Tableau. 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 187-201, Springer, 1998. [doi]
@inproceedings{HustadtS98,
title = {Simplification and Backjumping in Modal Tableau},
author = {Ullrich Hustadt and Renate A. Schmidt},
year = {1998},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1397&spage=0187},
researchr = {https://researchr.org/publication/HustadtS98},
cites = {0},
citedby = {0},
pages = {187-201},
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},
}