Francis Alexandre, Khaled Bsaïes, Alain Quéré
On Using Mode Input-output for Transforming Logic Programs
LOPSTR, 1991.
@inproceedings{LOPSTR-1991-AlexandreBQ,
author = "Francis Alexandre and Khaled Bsaïes and Alain Quéré",
booktitle = "{Proceedings of the First International Workshop on Logic Program Synthesis and Transformation}",
isbn = "['3-540-19742-7', '0-387-19742-7']",
pages = "129--146",
publisher = "{Springer-Verlag}",
series = "{Workshops in Computing}",
title = "{On Using Mode Input-output for Transforming Logic Programs}",
year = 1991,
}