@incollection{SB_1951-1954__2__109_0,
     author = {Tamari, Dov},
     title = {Machines logiques et probl\`emes de mots. {II} : probl\`emes de mots ind\'ecidables},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1951/52 - 1952/53 - 1953/54, expos\'es 50-100},
     series = {S\'eminaire Bourbaki},
     note = {talk:61},
     pages = {109--119},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     mrnumber = {1609217},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1951-1954__2__109_0/}
}