j-aij-32-57

Ray Reiter. A theory of diagnosis from first principles. Artificial Intelligence Journal, vol. 32 (1987), pp. 57-95.