@inproceedings{
    Janhunen96:inars,
    editor = {Niemel{\"a}, Ilkka},
    author = "Janhunen, Tomi",
    title = "On Abstracting Decision Procedures for Non-Monotonic Reasoning",
    booktitle = "Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems",
    month = "August",
    note = {Universit{\"a}t Koblenz-Landau, Institut f{\"u}r Informatik, Fachberichte Informatik, 18--96},
    year = "1996",
    pages = "29-31"
}