Skip to content

Proof-Theoretic Characterisations of Logic Programs.

James H. Andrews

VenueBMFCS
Year1989
ProceedingsMFCS

Browse the full MFCS paper archive.