A second order pattern matching algorithm in the cube of typed -Calculi (1991)

by G Dowek
Venue:Proceedings of Mathematical Foundation of Computer Science, Lecture Notes in Computer Science