## David von Oheimb, Thomas F. Gritzner

*RALL: Machine-Supported Proofs for Relation Algebra*

CADE, 1997.

@inproceedings{CADE-1997-OheimbG, author = "David von Oheimb and Thomas F. Gritzner", booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}", doi = "10.1007/3-540-63104-6_36", isbn = "3-540-63104-6", pages = "380--394", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{RALL: Machine-Supported Proofs for Relation Algebra}", volume = 1249, year = 1997, }