Caterina Urban. FuncTion: An Abstract Domain Functor for Termination.
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, Londres, United Kingdom. Springer, pp.3, Lecture Notes in Computer Science.
〈http://www.etaps.org/2015/tacas〉.
〈hal-01107419〉 
