An exercise in program synthesis: algorithms for computing the transitive closure of a relation
synthesis of transitive closure algorithms
scientific article; zbMATH DE number 3754029