An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations
scientific article; zbMATH DE number 6072549