A Protocol-Word Problem which is NP-Complete", private communication (1983)

by Y Itzhaik