Proof-terms for classical and intuitionistic resolution (0)

by E Ritter, D J Pym, L A Wallen
Venue:J. Logic Computat