Sylvie Coste-Marquis, Pierre Marquis. Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.
Proc. of Sixteenth Intl. Joint Conf. on Artificial Intelligence (IJCAI-99), 1999, Stockholm, Unknown Region. pp.24-29.
⟨hal-03300368⟩