Logic Program Transformation through Generalization Schemata

Pierre Flener, Yves Deville. Logic Program Transformation through Generalization Schemata. In Maurizio Proietti, editor, Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Volume 1048 of Lecture Notes in Computer Science, pages 171-173, Springer, 1995.

Abstract

Abstract is missing.