De Freitas, R. P.; Viana, J. P. A completeness result for relation algebra with binders. (English) Zbl 1261.03170 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 204-217 (2002). MSC: 03G15 PDFBibTeX XMLCite \textit{R. P. De Freitas} and \textit{J. P. Viana}, Electron. Notes Theor. Comput. Sci. 67, 204--217 (2002; Zbl 1261.03170) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Strongly representable atom structures of relation algebras. (English) Zbl 1002.03054 Proc. Am. Math. Soc. 130, No. 6, 1819-1831 (2002). Reviewer: Roger Maddux (Ames) MSC: 03G15 05C80 03C05 05C15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Proc. Am. Math. Soc. 130, No. 6, 1819--1831 (2002; Zbl 1002.03054) Full Text: DOI