@inproceedings{
    OJ08:aimsa,
    editor = "Dochev, Danail and Pistore, Marco and Traverso, Paolo",
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "Springer-Verlag",
    title = "Implementing Prioritized Circumscription by Computing Disjunctive Stable Models",
    booktitle = "Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications",
    address = "Varna, Bulgaria",
    month = "September",
    flags = "copy,MCM",
    year = "2008",
    pages = "167--180"
}