Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs. Automatic Bottom-Up Analysis and Transformation of Logic Programs. In Díbio Leandro Borges, Celso A. A. Kaestner, editors, Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA 96, Curitiba, Brazil, October 23-25, 1996, Proceedings. Volume 1159 of Lecture Notes in Computer Science, pages 191-200, Springer, 1996.
@inproceedings{VasconcelosAF96,
title = {Automatic Bottom-Up Analysis and Transformation of Logic Programs},
author = {Wamberto Weber Vasconcelos and Marcelo A. T. Aragão and Norbert E. Fuchs},
year = {1996},
tags = {program analysis, analysis, logic programming, e-science, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/VasconcelosAF96},
cites = {0},
citedby = {0},
pages = {191-200},
booktitle = {Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA 96, Curitiba, Brazil, October 23-25, 1996, Proceedings},
editor = {Díbio Leandro Borges and Celso A. A. Kaestner},
volume = {1159},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61859-7},
}