Vol. 604. Andreka, H.; Givant, Steven R.Decision problems for equational theories of relation algebrasQA10 A56 Artículo anterior: Vol. 0605 Anterior Artículo siguiente: Vol. 0603 Siguiente