Decision problems for equational theories of relation algebras /
Andréka, H.
Givant, Steven R.
Németi, I.
Providence, R.I. : American Mathematical Society,
c1997.
"March 1997, volume 126, number 604 (end of volume)."
Includes bibliographical references (p. 112-114) and indexes.
Relation algebras.
Decidability (Mathematical logic)