Logic programming and knowledge representation (1994)

by Chitta Baral, Michael Gelfond
Venue:Journal of Logic Programming