The inverse method (0)

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