Algorithms, datastructures, and other issues in efficient automated deduction (2001)

by A Voronkov
Venue:International Joint Conference on Automated Reasoning