Immortal: A Model-Based Belief Revision System.

Seng-cho Timothy Chou Marianne Winslett Immortal: A Model-Based Belief Revision System. 99-110 1991 KR db/conf/kr/kr91.html#ChouW91