@inproceedings{flener95logic, title = {Logic Program Transformation through Generalization Schemata}, author = {Pierre Flener and Yves Deville}, booktitle = {Logic Program Synthesis and Transformation}, pages = {171-173}, url = {citeseer.ist.psu.edu/flener96logic.html}, year = {1995}, biburl = {http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mh}, description = {Logic Program Transformation through Generalization Schemata - Flener, Deville (ResearchIndex)}, keywords = {1995 Deville Dialogs Flener inductive_programming inproceedings logic_programming } }