Pierre De Boeck, Baudouin Le Charlier
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments
LOPSTR, 1993.
@inproceedings{LOPSTR-1993-BoeckC,
author = "Pierre De Boeck and Baudouin Le Charlier",
booktitle = "{Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation}",
isbn = "['3-540-19864-4', '0-387-19864-4']",
pages = "229--245",
publisher = "{Springer-Verlag}",
series = "{Workshops in Computing}",
title = "{Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments}",
year = 1993,
}