Modularity in logic programming (1994)

by Michele Bugliesi, Evelina Lamma, Paola Mello
Venue:Journal of Logic Programming