A Proof-Producing Boolean Search Engine (2003)

by Clark Barrett, Sergey Berezin
Venue:In Proceedings of PDPAR’03