Booth, Richard Programming Logics, MPI for Informatics, Max Planck Society;
Booth, R. (2001). The lexicographic closure as a revision process. Journal of Applied Non-Classical Logics, 11(1/2), 35-58.