Type Analysis of Prolog Using Type Graphs.

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

Browse the full PLDI paper archive.