Title: Proof-Theoretic Characterisations of Logic Programming