The Inverse Method, chapter IV (2001)

by A Degtyarev, A Voronkov
Venue:In Robinson and Voronkov [19