Proof Theory and Semantics of Logic Programs

Haim Gaifman, Ehud Shapiro

Browse the full LICS paper archive.