A Reduction Result for Circumscribed Semi-Horn Formulas

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-283404

Related search