Dima Grigoriev. Complexity of Deciding Tarski Algebra. Journal of Symbolic Computation, 5(1/2):65-108, 1988.
@article{Grigorev88, title = {Complexity of Deciding Tarski Algebra}, author = {Dima Grigoriev}, year = {1988}, tags = { algebra}, researchr = {https://researchr.org/publication/Grigorev88}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {5}, number = {1/2}, pages = {65-108}, }