Type analysis of prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1995 The Journal of Logic Programming  
doi:10.1016/0743-1066(94)00021-w fatcat:c6qzejd37feu7jyzecbaudyita