The design and implementation of vampire (2002)

by Alexandre Riazanov, Andrei Voronkov
Venue:AI Communications