On graph-theoretic lemmata and complexity classes (extended abstract), in (1990)

by C Papadimitriou
Venue:Proceedings of the 31st IEEE Symposium on Foundations of Computer Science (Volume II), IEEE Computer Society