@Article{Lif89, Author = "Lifschitz, V.", Year = "1989", Title = "{What is the Inverse Method?}", Journal = "Journal of Automated Reasoning", Volume = "5", Number = "1", Pages = "1-24", Comment = "TPTPRef, general reasoning" }