@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"
}