Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier. Type Analysis of Prolog Using Type Graphs. Journal of Logic and Algebraic Programming, 22(3):179-209, 1995.
No references recorded for this publication.
No citations of this publication recorded.