A Calculus for the Construction of Modular Prolog Pro- grams (1987)

by D Sannella, L Wallen
Venue:Proceedings of the 1987 Symposium on Logic Programming