A Proof-Theoretic Framework for Logic Programming (1998)

View PDF

Download Links

by Gerhard Jäger , Robert F. Stärk
Venue:CHAPTER IX OF HANDBOOK OF PROOF THEORY, EDITED BY S.R. BUSS.
Citations:13 - 6 self