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

by C Baral, V Subrahmanian
Venue:In International Workshop on Logic Programming and Nonmonotonic Reasoning