Logic Programming and Knowledge Representation (1994)

by C BARAL, M GELFOND
Venue:Journal of Logic Programming