H. Andréka, S. Givant, and I. Németi. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv + 126 pp.
Roger D. Maddux · Bulletin of Symbolic Logic · 2003
H. Andréka, S. Givant, and I. Németi. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv + 126 pp. - Volume 9 Issue 1