Type inference in Prolog and its application (0)

by T Kanamori, K Horiuchi
Venue:In Proceedings of International Joint Conference on Artificial Intelligence