Introduction to the inverse method (2001)

by A Degtyarev, A Voronkov
Venue:In Handbook of Automated Reasoning