Modularity in logic programming (1994)

by M Bugliesi, E Lamma, P Mello
Venue:Journal of Logic Programming