A Logical Analysis of Modules (1989)

by D Miller
Venue:in Logic Programming, Journal of Logic Programming 6(1,2