Size Invariant and Ranking Function Synthesis in a Functional Language. - Ricardo Peña; Agustin D. Delgado-Muñoz (WFLP, 2011)