Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Browse the full CADE paper archive.