A Proof-Theoretic Framework for Logic Programming (1998)

Cached

Download Links

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