A conservative look at term deductionsystems with variable bindings (1995)

by W Fokkink, C Verhoef