Sylvie Coste-Marquis Pierre Marquis Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. 24-29 1999 conf/ijcai/99 IJCAI db/conf/ijcai/ijcai99.html#Coste-MarquisM99