Deciding the word problem in pure double Boolean algebras
scientific article; zbMATH DE number 6160209