@Article{BFS97,
    Author       = "Baumgartner, P. and Furbach, U. and Stolzenburg, F.",
    Year         = "1997",
    Title        = "{Computing Answers with Model Elimination}",
    Journal      = "Artificial Intelligence",
    Volume       = "90",
    Pages        = "135-176",
    Comment      = "TPTPRefForResults,TPTPCite, TPTPData, TPTPRef"
}