A theory of modules in logic programming (1986)

by D Miller
Venue:In Proceedings of Symposium on Logic Programming