Skip to main content

Reasoning under minimal upper bounds in propositional logic

Thomas Eiter and Georg Gottlob

Journal
Theor. Comput. Sci.
Number
1−3
Pages
82−115
Volume
369
Year
2006