Schema-Based Transformations of Logic st Programs (1991)

by N E Fuchs, M P J Fromherz
Venue:Proceedings of the 1 International Workshop on Logic Program Synthesis and Transformation