The polyranking principle. (2005)

by A R Bradley, Z Manna, H B Sipma
Venue:In International Colloquium on Automata, Logic and Programming (ICALP),