A Practical Integration of First-Order Reasoning and Decision Procedures.

Nikolaj S. Bjrner, Mark E. Stickel, Toms E. Uribe

Browse the full CADE paper archive.