Logic Programming and Knowledge Representation (1994)

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