Schema-based transformations of logic programs (1992)

by N E Fuchs, M P J Fromherz
Venue:Proceedings of Logic Program Synthesis and Transformation