The Word Problem for Finitely Presented Quandles is Undecidable.

James M. Belk, Robert W. McGrail

Browse the full WoLLIC paper archive.