Algebraic Structures for Transitive Closures (1977)

by D J Lehmann
Venue:Theoretical Computer Science