Title: Decision problems for equational theories of relation algebras
First published: 1997
Subjects: Decidability (Mathematical logic), Relation algebras
LC classification: QA3 .A57 no. 604, QA10 .A57 no. 604