Size Invariant and Ranking Function Synthesisin a Functional Language - Ricardo Peña; Agustin D. Delgado-Muñoz (Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings, 2011)