Unification and anti-unification in the calculus of constructions (1991)

by F Pfenning
Venue:In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science