The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable.

From MaRDI portal