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

by C Baral, V S Subrahmanian
Venue:J. Automat. Reasoning