Paper having a NPC proof for the Matches problem