A conservative look at term deduction systems with variable binding (1995)

by Wan Fokkink , Chris Verhoef
Citations:10 - 4 self