Kernelization2019-01-030 PRE AI DOI:10.1017/9781107415157OriginalOriginal request for helpShareSaveAbstract En