A Logical Analysis of Modules in Logic Programming. (1989)

by D Miller
Venue:In: Journal of Logic Programming