On the Complexity of the Equational Theory of Residuated Boolean Algebras.

Zhe Lin, Minghui Ma

Browse the full WoLLIC paper archive.