clause queries and generalizations (1985)

by Horn
Venue:Journal of Logic Programming