Proof-Theoretic Characterisations of Logic Programming
Proof-Theoretic Characterisations of Logic Programming
James H. Andrews
Details
OL Work ID
OL4032311W
Find this book
Goodreads
Open Library