Stable and extension class theory for logic programs and default logics (1992)

by Chitta Baral, V S Subrahmanian
Venue:J. Autom. Reasoning