We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleProofs, Programs, Processes.AuthorsBerger, Ulrich; Seisenberger, MonikaPublicationTheory of Computing Systems, 2012, Vol 51, Issue 3, p313ISSN1432-4350Publication typearticleDOI10.1007/s00224-011-9325-8