Arithmetization: A new method in structural complexity theory1991-03-010 PRE AI DOI:10.1007/bf01200057OriginalOriginal request for helpShareSaveAbstract En