Autores: Moulay Barkatou, Paola Boito, Esteban Segura Ugalde

Título: A contour integral approach to the computation of invariant pairs.

Revista: Theoretical Computer Science, Volume 681, Pages 3-26

Theoret. Comput. Sci. 681 (2017), 3–26.

https://doi.org/10.1016/j.tcs.2017.03.024