Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi. Reflexive transitive invariant relations: A basis for computing loop functions. Journal of Symbolic Computation, 45(11):1114-1143, 2010. [doi]
Abstract is missing.