Strict General Setting for Building Decision Procedures into Theorem Provers (2001)

Cached

Download Links

by Predrag Janicic , Alan Bundy
Venue:THE 1ST INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR-2001) — SHORT PAPERS
Citations:2 - 1 self