Casimiro, Ana, and Eduardo Skapinakis. "Basis reduction for cryptogroups and orthogroups." Semigroup Forum (2020).