@Article{Sti94-JAR, Author = "Stickel, M.E.", Year = "1994", Title = "{Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction}", Journal = "Journal of Automated Reasoning", Volume = "13", Number = "2", Pages = "189-210", Comment = "TPTPRef" }