Proof pearl: de bruijn terms really do work (2007)

by M Norrish, R Vestergaard
Venue:In TPHOLs, volume 4732 of LNCS