Implementing Logic Programming Languages with Polymorphic Typing (1991)

by Keehang Kwon, G Nadathur, D S Wilson