Decidable problems in shallow equational theories | IEEE Conference Publication | IEEE Xplore