On the Power of Automata Based Proof Systems (1999)

View PDF

Download Links

by Richard J. Lipton , Anastasios Viglas