DMCA

Proof-theoretic and Higher-order Extensions of Logic Programming

by Alberto Momigliano , Mario Ornaghi