Logic programming and knowledge representation (1994)

by C Baral, M Gelfond
Venue:Journal of Logic Programming