Géraud Sénizergues

278306, ISSN 0004-5411, https://doi.org/10.1145/278298.278306  ^ Sénizergues, Géraud (2001), “L(A) = L(B)? decidability results from complete formal systems”

（オンライン版）, Acta Arithmetica, XXVII (1975), 521-549. Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules （オンライン版）