@InProceedings{BFS95,
    Author       = "Baumgartner, P. and Furbach, U. and Stolzenburg, F.",
    Year         = "1995",
    Title        = "{Model Elimination, Logic Programming and Computing
                    Answers}",
    Editor       = "Mellish, C.S.",
    BookTitle    = "{Proceedings of the 14th International Joint Conference on
                    Artificial Intelligence}",
    Pages        = "335-340",
    Publisher    = "Morgan Kaufmann",
    Comment      = "TPTPCite, TPTPRef"
}