A conservative look at term deduction systems and variable binding. Technical report, Centrum voor Wiskunde en Informatica (CWI (1997)

by Wan J Fokkink, Chris Verhoef
Venue:AP (Department of Software Technology), CS-R9508