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

by P Janičić, A Bundy
Venue:The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) — Short Papers