What is the inverse method?

  title={What is the inverse method?},
  author={Vladimir Lifschitz},
  journal={Journal of Automated Reasoning},
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.