Proof-terms for classical and intuitionistic resolution (2000)

by E Ritter, D Pym, L Wallen
Venue:Journal of Logic and Computation