Realizing modularity in λProlog (1999)

by G Nadathur, G Tong
Venue:Journal of Functional and Logic Programming