Title: Semigroups and transitive closure in deductive databases
Subjects: Deductive databases