generalized Post correspondence problem

GPTKB entity