"RALL: Machine-Supported Proofs for Relation Algebra."

David von Oheimb, Thomas F. Gritzner (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics