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

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