Static Type Analysis of Prolog Procedures for Ensuring Correctness. - Pierre De Boeck; Baudouin Le Charlier (PLILP, 1990)

Automatic Construction of Prolog Primitives for Type Checking Analysis. - Pierre De Boeck; Baudouin Le Charlier (JTASPEFT/WSA, 1991)

FOLON: An Environment for Declarative Construction of Logic Programs. - Pierre De Boeck; Jean Henrard; Baudouin Le Charlier (LPE, 1992)

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. - Pierre De Boeck; Baudouin Le Charlier (LOPSTR, 1993)