Relation Algebras with Transitive Closure (1984)

by K C Ng