On computing the transitive closure of a relation

From MaRDI portal
Publication:1235010