On Dehn's algorithm (Q2521949)

From MaRDI portal