@misc{indiciaefdf786cefb68,
  title = {Big-step and small-step Horn clause derivations applied to operational semantics},
  author = {John P. Gallagher and Manuel Hermenegildo and José Morales and Pedro Lopez-Garcia and Louis Rustenholz},
  year = {2026},
  url = {https://arxiv.org/abs/2606.20944},
  note = {Source identifier: 2606.20944}
}