Pierre De Boeck Jean Henrard Baudouin Le Charlier FOLON: An Environment for Declarative Construction of Logic Programs. 3-8 1992 LPE db/conf/lpe/lpe92.html#BoeckHC92