Size Invariant and Ranking Function Synthesis in a Functional Language | Publicación