Schema-based Transformations of Logic Programs (1992)

by N E Fuchs, M P J Fromherz
Venue:In: T. Clement and K.-K. Lau (Eds.) Logic Program Synthesis and Transformation, Proc. Lopstr ’91, Workshops in Computing