Hyperdecidability of pseudovarieties of orthogroups (0)

by J Almeida, P G Trotter
Venue:Glasgow Math. J