Fehrer, Detlef Programming Logics, MPI for Informatics, Max Planck Society;
Fehrer, D. (1996). A unifying logical framework for reason maintenance. PhD Thesis, Universität des Saarlandes, Saarbrücken.