Alex Kean, George K. Tsiknis: A Computational System for Symbolic Belief Revision. Deductive Databases / Abduction in Deductive Databases 1995: 159-173