Optimizing proof search in model elimination (1996)

by John Harrison , Turku Centre For
Venue:13th International Conference on Automated Deduction, volume 1104 of Lecture Notes in Computer Science
Citations:20 - 2 self