@inproceedings{publication-3416, author={Fuchs, Norbert E. and Fromherz, M. P. J.}, booktitle={Proceedings of LOPSTR '91}, publisher={Springer}, title={Schema-Based Transformations of Logic Programs}, year=1992, }