Roger D. Maddux. Undecidable Semiassociative Relation Algebras. Journal of Symbolic Logic, 59(2):398-418, 1994.
@article{Maddux94, title = {Undecidable Semiassociative Relation Algebras}, author = {Roger D. Maddux}, year = {1994}, tags = { algebra}, researchr = {https://researchr.org/publication/Maddux94}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {59}, number = {2}, pages = {398-418}, }