Realizing Modularity in λProlog (1999)

by Gopalan Nadathur , Guanshan Tong
Venue:THE JOURNAL OF FUNCTIONAL AND LOGIC PROGRAMMING
Citations:2 - 2 self