Serenella Cerrito, Marta Cialdea Mayer. Bounded Model Search in Linear Temporal Logic and Its Application to Planning. 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 124-140, Springer, 1998. [doi]
@inproceedings{CerritoM98,
title = {Bounded Model Search in Linear Temporal Logic and Its Application to Planning},
author = {Serenella Cerrito and Marta Cialdea Mayer},
year = {1998},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1397&spage=0124},
tags = {logic, search},
researchr = {https://researchr.org/publication/CerritoM98},
cites = {0},
citedby = {0},
pages = {124-140},
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},
}