Richard Booth Thomas Andreas Meyer Admissible and Restrained Revision. 127-151 2006 26 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper1874.html db/journals/jair/jair26.html#BoothM06