Realizing Modularity in lambdaProlog. - Gopalan Nadathur; Guanshan Tong (J. Funct. Log. Program., 1999)

Leveled Garbage Collection. - Guanshan Tong; Michael J. O'Donnell (J. Funct. Log. Program., 2001)