Simple examples of undecidable associative calculi (1967)

by Y Matiyasevich
Venue:Soviet Mathematics Doklady