clause queries and generalizations (1985)

by A Chandra, D Horn Harel
Venue:Journal of Logic Programming