Booth, Richard Programming Logics, MPI for Informatics, Max Planck Society;
Booth, R. (2000). The lexicographic closure as a revision process. In C. Baral, & M. Truszczynski (Eds.), Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000).?:?