Proof search in constructive logics (1997)

by R Dyckhoff, L Pinto
Venue:In Sets and proofs