A Theory of Modules for Logic Programming.

Dale Miller A Theory of Modules for Logic Programming. 106-114 1986 SLP db/conf/slp/slp86.html#Miller86