The pseudovariety $J$ is hyperdecidableJ. Almeida and M. ZeitounRAIRO-Theor. Inf. Appl., 31 5 (1997) 457-482DOI: https://doi.org/10.1051/ita/1997310504571
