A note on a canonical theory with undecidable uni cation and matching problem (1987)

by A Bockmayr
Venue:J. of Automated Reasoning