Ulrich Junker. Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 7-16, Springer, 1989.
Abstract is missing.