@inproceedings{https://doi.org/10.4230/lipics.mfcs.2022.61,
    doi = {10.4230/LIPICS.MFCS.2022.61},
    url = {https://drops.dagstuhl.de/opus/volltexte/2022/16859/},
    author = {Kenison, George},
    keywords = {The Skolem Problem, Linear Recurrences, Verification, Mathematics of computing → Discrete mathematics, Computing methodologies → Algebraic algorithms},
    language = {en},
    title = {On the Skolem Problem for Reversible Sequences},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
    year = {2022},
    copyright = {Creative Commons Attribution 4.0 International license}
}

@inproceedings{https://doi.org/10.4230/lipics.mfcs.2022.61, doi = {10.4230/LIPICS.MFCS.2022.61}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/16859/}, author = {Kenison, George}, keywords = {The Skolem Problem, Linear Recurrences, Verification, Mathematics of computing → Discrete mathematics, Computing methodologies → Algebraic algorithms}, language = {en}, title = {On the Skolem Problem for Reversible Sequences}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, year = {2022}, copyright = {Creative Commons Attribution 4.0 International license} }