Deciding the word problem in pure double Boolean algebras

Philippe Balbiani. Deciding the word problem in pure double Boolean algebras. J. Applied Logic, 10(3):260-273, 2012. [doi]

Abstract

Abstract is missing.