Jeremy E. Dawson, Rajeev Goré. A Mechanised Proof System for Relation Algebra using Display Logic. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 264-278, Springer, 1998. [doi]
Abstract is missing.