Model Checking for Nonmonotonic Logics: Algorithms and Complexity.

Riccardo Rosati Model Checking for Nonmonotonic Logics: Algorithms and Complexity. 76-83 1999 conf/ijcai/99 IJCAI db/conf/ijcai/ijcai99.html#Rosati99