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

by Eike Ritter , David Pym , Lincoln Wallen
Citations:14 - 3 self