@dblp

Reflexive transitive invariant relations: A basis for computing loop functions.

, , , , , and . J. Symb. Comput., 45 (11): 1114-1143 (2010)

Links and resources

Tags