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

Predrag Janicic Alan Bundy Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. 127-141 http://link.springer.de/link/service/series/0558/bibs/1632/16320127.htm 1999 conf/cade/1999 CADE db/conf/cade/cade99.html#JanicicBG99