Duality between alternative semantics of logic programs and nonmonotonic formalisms (1993)

by C Baral, V S Subrahmanian
Venue:Journal of Automated Reasoning