Decidability of fourth-order matching (2000)

by V Padovani
Venue:Mathematical Structures in Computer Science