Thane E. Plambeck

• Barrycodes and Septdoku
• Semigroups and transitive closure in deductive databases