Torsten Schaub. Variations of Constrained Default Logic. In Michael Clarke, Rudolf Kruse, Serafín Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings. Volume 747 of Lecture Notes in Computer Science, pages 310-317, Springer, 1993.
Abstract is missing.