Unification and Anti-Unification in the Calculus of Constructions (1991)

by Frank Pfenning
Venue:In Sixth Annual IEEE Symposium on Logic in Computer Science