"A Framework for the Flexible Integration of a Class of Decision Procedures ..."

Predrag Janicic, Alan Bundy, Ian Green (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics