Higher-order transformation of logic programs (0)

by S Seres, M Spivey
Venue:In Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000