Applying the Davis-Putnam procedure to non-clausal formulas (1999)

by E Giunchiglia, R Sebastiani
Venue:In Proceedings of the Sixth Congress of the Italian Association for Artificial Intelligence