Formal Verification of a Combination Decision Procedure.

Jonathan Ford, Natarajan Shankar

Browse the full CADE paper archive.