Automatic Bottom-Up Analysis and Transformation of Logic Programs

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.

Authors

Wamberto Weber Vasconcelos

This author has not been identified. Look up 'Wamberto Weber Vasconcelos' in Google

Marcelo A. T. Aragão

This author has not been identified. Look up 'Marcelo A. T. Aragão' in Google

Norbert E. Fuchs

This author has not been identified. Look up 'Norbert E. Fuchs' in Google