@inproceedings{
    Niemela:ICLP08,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Springer",
    responsibleauthor = {Niemel{\"a}, Ilkka},
    title = "Answer Set Programming without Unstratified Negation",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)",
    volume = "5366",
    flags = "MCM public",
    year = "2008",
    impactfactor = "D2",
    pages = "88--92"
}