The inverse method (2001)

by A Degtyarev, A Voronkov
Venue:Handbook of Automated Reasoning, volume I, chapter 4