@InProceedings{Reynolds2026,
  author   = "Reynolds, Andrew
    and Schurr, Hans-J{\"o}rg
    and Soldevila, Mallku
    and Barbosa, Haniel
    and Barrett, Clark
    and Tinelli, Cesare",
  editor   = "Biere, Armin
    and Lutz, Carsten
    and Negri, Sara",
  title    = "Ethos: A Fast Proof Checker for the Eunoia Logical Framework",
  booktitle= "Automated Reasoning. IJCAR 2026.",
  year     = "2026",
  publisher= "Springer Nature Switzerland",
  address  = "Cham",
  pages    = "305--314",
  series   = "Lecture Notes in Computer Science", 
  volume   = 16688,
  doi      = "10.1007/978-3-032-32589-1_19"
}