@inproceedings{
    Niemela:BMC06,
    author = "Niemel{\”a}, Ilkka",
    title = "Bounded Model Checking, Answer Set Programming, and Fixed Points",
    booktitle = "Proceedings of the CAV'06 Workshop on Bounded Model Checking (BMC06)",
    note = "Abstract of an invited talk",
    flags = "ACPT",
    year = "2006",
    keywords = "Logic programming; stable models; linear time temporal logic; bounded model checking",
    pages = "9"
}