RALL: Machine-Supported Proofs for Relation Algebra.

David von Oheimb, Thomas F. Gritzner

Browse the full CADE paper archive.