New directions in instantiation-based theorem proving (2003)

by H Ganzinger, K Korovin
Venue:In Proc. 18th IEEE Symposium on Logic in Computer Science, (LICS’03