From query answering to satisfiability in nonmonotonic logics

Riccardo Rosati.
In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 80-87, Helsinki University of Technology, 1998.

Bibtex entry:

@Inproceedings{Rosa98d,
author = {Rosati, Riccardo},
title = {From query answering to satisfiability in nonmonotonic logics},
booktitle = "Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning",
pages = {80--87},
publisher = {Helsinki University of Technology},
year = {1998},
}