@inproceedings{
    Niemela03:models_ini,
    author = {Niemel{\"a}, Ilkka},
    publisher = "",
    title = "Answer Set Programming: From Model Computation to Problem Solving",
    url = "http://www.cs.miami.edu/~geoff/CADE-19/WS4/11.pdf",
    booktitle = "Proceedings of CADE-19 Workshop on Model Computation --- Principles, Algorithms, Applications",
    year = "2003",
    month = "July",
    note = "Extended abstract of an invited talk",
    flags = "SA-53695,public",
    address = "Miami, Florida, USA",
    pages = ""
}

AUTHORS:

URL:
http://www.cs.miami.edu/~geoff/CADE-19/WS4/11.pdf

AUTHORS:

URL: http://www.cs.miami.edu/~geoff/CADE-19/WS4/11.pdf

URL:
http://www.cs.miami.edu/~geoff/CADE-19/WS4/11.pdf