Camilla Schwind, Vincent Risch. A Tableau-Based Characterisation for Default Logic. In Rudolf Kruse, Pierre Siegel, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings. Volume 548 of Lecture Notes in Computer Science, pages 310-317, Springer, 1991.
Abstract is missing.