| | What Is the Inverse Method? |
Has publishing details
5(1):1-23, 1989
Has title
What Is the Inverse Method?
Has where published
J. Autom. Reasoning
Has year
1989
Has author
Vladimir Lifschitz +
Has identifier
DBLP:journals/jar/Lifschitz89 +
Categories Journal Paper +
|