@article{cm:12627,
    title      = {Proving Properties of $\varphi$-Representations with the Walnut Theorem-Prover},
    author     = {Jeffrey Shallit},
    url        = {https://cm.episciences.org/12627},
    doi        = {10.46298/cm.12627},
    journal    = {Communications in Mathematics},
    issn       = {2336-1298},
    volume     = {Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny)},
    eid        = 3,
    year       = {2024},
    month      = {Sep},
    keywords   = {Mathematics - Number Theory, Computer Science - Discrete Mathematics, Computer Science - Formal Languages and Automata Theory},
}