##
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,
}