What Is the Inverse Method?
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/jar/Lifschitz89,
author = {Vladimir Lifschitz},
title = {What Is the Inverse Method?},
journal = {J. Autom. Reasoning},
volume = {5},
number = {1},
year = {1989},
pages = {1-23},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
