Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dt4KM (Publisher version)
Weydert, E. (1996). System J - Revision Entailment: Default Reasoning through Ranking Measure Updates. In D. Gabbay, & H. J. Ohlbach (Eds.), Practical Reasoning (pp. 637-649). Berlin, Germany: Springer.