Logic programming and knowledge representation (1994)

by Chitta Baral, Michael Gelfond
Venue:J. Log. Program