A basis for deductive database systems II (1986)

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