Highly Influenced

@article{Lifschitz1989WhatIT, title={What is the inverse method?}, author={Vladimir Lifschitz}, journal={Journal of Automated Reasoning}, year={1989}, volume={5}, pages={1-23} }

- Published 1989 in Journal of Automated Reasoning
DOI:10.1007/BF00245018

A large part of the work on automated reasoning done in the Soviet Union in the sixties and seventies was based on the inverse method proposed by Sergey Maslov. We review the basic ideas of the method in the form that stresses its connection with resolution.

### Presentations referencing similar topics