Decidability of fourth-order matching (2000)

by Vincent Padovani
Venue:Mathematical Structures in Computer Science