@inproceedings{Gengelbach_Pohjola_22,
    address          = {Haifa, Israel},
    author           = {Arve Gengelbach and Johannes {\AA}man Pohjola},
    booktitle        = {International Conference on Interactive Theorem Proving},
    doi              = {10.4230/LIPIcs.ITP.2022.15},
    editor           = {June Andronick and Leonardo de Moura},
    month            = aug,
    pages            = {15:1--15:18},
    paperurl         = {https://trustworthy.systems/publications/papers/Gengelbach_Pohjola_22.pdf},
    publisher        = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    title            = {A Verified Cyclicity Checker: For Theories with Overloaded Constants},
    volume           = {237},
    year             = {2022}
  }