István Németi, Ildikó Sain, András Simon. Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators. Logic Journal of the IGPL, 3(1):93-105, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.