Simple β0-unification for terms with context holes (2002)

by M Hamana
Venue:Verma (Eds.), Proc. of UNIF 2002