Optimizing proof search in model elimination (1996)

by J Harrison
Venue:Lecture Notes in Computer Science