Algebraic structures for transitive closure (1977)

by D Lehmann
Venue:Theoretical Computer Science