Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.

Pierre De Boeck, Baudouin Le Charlier

Browse the full LOPSTR paper archive.