Decision Problems for Equational Theories of Relation Algebras
H Andréka and 2 more
Paperback
Not Available