What is the inverse method (1989)

by V Lifschitz
Venue:J. Autom. Reason