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