TY  - RPRT
TI  - Big-step and small-step Horn clause derivations applied to operational semantics
AU  - John P. Gallagher
AU  - Manuel Hermenegildo
AU  - José Morales
AU  - Pedro Lopez-Garcia
AU  - Louis Rustenholz
PY  - 2026
UR  - https://arxiv.org/abs/2606.20944
ID  - 2606.20944
ER  -