A calculus for the construction of modular prolog programs

D.T. Sannella, L.A. Wallen
1992 The Journal of Logic Programming  
doi:10.1016/0743-1066(92)90042-2 fatcat:prfxctdk3zgcdmw3bmriw4vtzi