Answer Set Programming and Bounded Model Checking

Reference:

Keijo Heljanko and Ilkka Niemelä. Answer set programming and bounded model checking. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 90–96, Stanford, USA, March 2001. AAAI Press.

Suggested BibTeX entry:

@inproceedings{HN2001:asp,
    address = {Stanford, USA},
    author = {Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning},
    month = {March},
    pages = {90--96},
    publisher = {AAAI Press},
    title = {Answer Set Programming and Bounded Model Checking},
    year = {2001},
}

This work is not available online here.