Title: Tractable default reasoning
First published: 1991