Theorist: A logical reasoning system for defaults and diagnosis. In: The Knowledge Frontier. (1987)

by D Poole