https://9dok.net/document/zwvm29d1-vl-satz-cook-levin-berechenbarkeit-komplexit-gerhard-woeginger.html