Joachim von zur Gathen Malte Sieveking Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben. 49-71 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#GathenS76