Eike Ritter David J. Pym Lincoln A. Wallen Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). 17-31 1996 conf/cade/1996 CADE db/conf/cade/cade96.html#RitterPW96 http://dx.doi.org/10.1007/3-540-61511-3_66