A logical framework for default reasoning (1987)

by David Poole, Randy Goebel, Romas Aleliunas
Venue:In The Knowledge Frontier: Essays in the Representation of Knowledge