Reference:
Tomi Janhunen. On abstracting decision procedures for non-monotonic reasoning. In Ilkka Niemelä, editor, Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, pages 29–31, August 1996. Universität Koblenz-Landau, Institut für Informatik, Fachberichte Informatik, 18–96.
Suggested BibTeX entry:
@inproceedings{Janhunen96:inars,
author = {Tomi Janhunen},
booktitle = {Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems},
editor = {Ilkka Niemel{\"a}},
month = {August},
note = {Universit{\"a}t Koblenz-Landau, Institut f{\"u}r Informatik, Fachberichte Informatik, 18--96},
pages = {29-31},
title = {On Abstracting Decision Procedures for Non-Monotonic Reasoning},
year = {1996},
}
|