1. E. Börger: Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität, Vieweg Verlag, Braunschweig, 1986.
2. G. Brewka: Nichtmonotone Logiken — ein kurzer Überblick, KI 2/89, München, 1989, S. 11.
3. U. Erdmann, H. Fiedler, F. Haft, R. Traunmüller (ed.): Computergestützte Juristische Expertensysteme, Attempto Verlag, Tübingen, 1986.
4. H. Fiedler, T. Barthel, G. Voogd: Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung, Westdeutscher Verlag, Opladen, 1984.
5. H.-J. Fischer-Dieskau, H.-G. Pergande, H.W. Schwender: Wohnungsbaurecht, Verlag für Wirtschaft und Verwaltung Hubert Wingen, Essen 1987.