K. B. Laskey;P. E. Lehner
-;-
Belief revision: from theory to practice
The Knowledge Engineering Review