Journal article published in "The Journal of Logic Programming"!
1 January 1995
The journal article “Type analysis of prolog using type graphs”, by Van Hentenryck, P., Cortesi, A., Le Charlier, B., has just been published in “The Journal of Logic Programming”! Available here.