Constructively characterizing fold and unfold (2003)

by Tjark Weber , James Caldwell
Venue:In 13th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), held August 25-27 in
Citations:3 - 2 self