Bounded LTL Model Checking with Stable Models

Reference:

Keijo Heljanko and Ilkka Niemelä. Bounded LTL model checking with stable models. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 200–212, Vienna, Austria, September 2001. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{HN2001:lpnmr,
    address = {Vienna, Austria},
    author = {Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
    month = {September},
    pages = {200--212},
    publisher = {Springer-Verlag},
    title = {Bounded {LTL} Model Checking with Stable Models},
    year = {2001},
}