Theorist: A logical reasoning system for defaults and diagnosis (1987)

by David Poole, Randy Goebel, Romas Aleliunas