A basis for deductive database systems II (1986)

by J Lloyd, R Topor
Venue:Journal of Logic Programming