Peter Baumgartner. A Model Elimination Calculus with Built-in Theories. In Hans Jürgen Ohlbach, editor, GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings. Volume 671 of Lecture Notes in Computer Science, pages 30-42, Springer, 1992.
Abstract is missing.