Schema-Based Transformations of Logic Programs (1991)

by Norbert Fuchs, Markus P. J. Fromherz
Venue:In Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LoPSTr'92