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.

Authors

Pierre Flener

This author has not been identified. Look up 'Pierre Flener' in Google

Yves Deville

This author has not been identified. Look up 'Yves Deville' in Google