Model checking for nonmonotonic logics: Algorithms and complexity

Riccardo Rosati.
In Proceedings of the FLoC'99 Workshop on Complexity-theoretic and Recursion-theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory, 1999.

Bibtex entry:

@Inproceedings{Rosa99e,
author = "Riccardo Rosati",
title = "Model checking for nonmonotonic logics: {A}lgorithms and complexity",
booktitle = "Proceedings of the FLoC'99 Workshop on Complexity-theoretic and Recursion-theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory",
year = 1999,
}