A logical framework for default reasoning (1988)

by David Poole
Venue:Artificial Intelligence