Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (1998)

by Chitta R. Baral, V. S. Subrahmanian
Venue:Journal of Automated Reasoning