@inproceedings{
    Niemela:LaSh06,
    author = {Niemel{\"a}, Ilkka},
    title = "Answer Set Programming: Foundations, Implementation Techniques, and Applications",
    booktitle = "Proceedings of the ICLP 2006 Workshop on Search and Logic: Answer Set Programming and SAT",
    note = "Abstract of an invited talk",
    flags = "ACPT",
    year = "2006",
    keywords = "Logic programming; Stable models; Constraints satisfaction",
    pages = "35"
}