Sannella, D. et al, "A Calculus for the Construction of Modular Prolog Programs", J Logic Prog 12:147-177 1992
(1992)
Languages mentioned
Modular Prolog
{1992}