On the Power of Automata Based Proof Systems (1999)

Cached

Download Links

by Richard J. Lipton , Anastasios Viglas