Wamberto Weber Vasconcelos, Marcelo A. T. Aragão. Automatic Extraction of Logig Program Transformations from Examples. In Osvaldo Cairó, Luis Enrique Sucar, Francisco J. Cantu, editors, MICAI 2000: Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Proceedings. Volume 1793 of Lecture Notes in Computer Science, pages 224-234, Springer, 2000.
Abstract is missing.