Pierre De Boeck, Baudouin Le Charlier. Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. In LOPSTR. pages 229-245, 1993.
@inproceedings{BoeckC93,
title = {Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments},
author = {Pierre De Boeck and Baudouin Le Charlier},
year = {1993},
tags = {Prolog, logic, transformation},
researchr = {https://researchr.org/publication/BoeckC93},
cites = {0},
citedby = {0},
pages = {229-245},
booktitle = {LOPSTR},
}