Type analysis of Prolog using type graphs

P. Van Hentenryck, A. Cortesi, B. Le Charlier
1994 SIGPLAN notices  
doi:10.1145/773473.178479 fatcat:btj3l25dxff7vi2q6krqnndire