Book

Proof-Theoretic Characterisations of Logic Programming

by James H. Andrews