The complexity of veri cation (1994)

by R P Kurshan
Venue:In Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing