A logical analysis of modules in logic (1989)

by D Miller
Venue:Journal of Logic Programming