Type Inference in Prolog and Its Application.

Tadashi Kanamori, Kenji Horiuchi

Browse the full IJCAI paper archive.