A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.

Predrag Janicic, Alan Bundy, Ian Green

Browse the full CADE paper archive.