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.