A Calculus for the Construction of Modular Prolog Programs.

Donald Sannella Lincoln A. Wallen A Calculus for the Construction of Modular Prolog Programs. 368-378 1987 SLP db/conf/slp/slp87.html#SannellaW87