@article{Maddux_1994,
    doi = {10.2307/2275397},
    url = {https://doi.org/10.2307%2F2275397},
    year = {1994},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {59},
    number = {2},
    pages = {398--418},
    author = {Roger D. Maddux},
    title = {Undecidable semiassociative relation algebras},
    journal = {Journal of Symbolic Logic}
}

@article{Maddux_1994, doi = {10.2307/2275397}, url = {https://doi.org/10.2307%2F2275397}, year = {1994}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {59}, number = {2}, pages = {398--418}, author = {Roger D. Maddux}, title = {Undecidable semiassociative relation algebras}, journal = {Journal of Symbolic Logic} }