On the Complexity of Model Checking and Inference in Minimal Models.

Lefteris M. Kirousis Phokion G. Kolaitis On the Complexity of Model Checking and Inference in Minimal Models. 42-53 2001 conf/lpnmr/2001 LPNMR http://link.springer.de/link/service/series/0558/bibs/2173/21730042.htm db/conf/lpnmr/lpnmr2001.html#KirousisK01