Stable and Extension Class Theory for Logic Programs and Default Logics (1992)

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