On deforesting parameters of accumulating maps (2001)

by K Kakehi, R Gluck, Y Futamura
Venue:In Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, volume 2372 of LNCS