A logical analysis of modules in logic programming (1989)

by Dale Miller
Venue:Journal of Logic Programming, 6:79 – 108