Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.

Fausto Giunchiglia, Enrico Giunchiglia

Browse the full ECAI paper archive.