NP-Completeness of the Set Uni cation and Matching Problems (1986)

by D Kapur, P Narendran
Venue:8th Inter. ConferenceonAutomated Deduction, LNCS 230