Dressler, Oskar and Strauss, Peter. 1996. “The Consistency-Based Approach to Automated Diagnosis of Devices.” in Principles of Knowledge Representation, edited by Gerhard Brewka, pp. 267–311. Stanford, California: CSLI Publications.
Reinfrank, Michael and Dressler, Oskar. 1988. “On the Relation Between Truth Maintenance and Autoepistemic Logic.”Unpublished manuscript, Siemens AG.