@misc{indiciaeeb5134113021,
  title = {Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse \$Π\$, Craig Interpolation and Beth Definability},
  author = {Dimitar P. Guelev},
  year = {2026},
  url = {https://arxiv.org/abs/2512.08640},
  note = {Source identifier: 2512.08640}
}