@Inproceedings{EPTCS439.31,
  author    = {Otten, Jens and Schaub, Torsten},
  year      = {2026},
  title     = {Implementing the First-Order Logic of Here and There},
  editor    = {Gebser, Martin and Inclezan, Daniela and Ricca, Francesco and Carro, Manuel and Truszczynski, Miroslaw},
  booktitle = {{\rm Proceedings 41st International Conference on}
               Logic Programming,
               {\rm Rende, Italy, 12-19th September 2025}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {439},
  publisher = {Open Publishing Association},
  pages     = {453-468},
  doi       = {10.4204/EPTCS.439.31},
}