Logic programming and knowledge representation (0)

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