On graph-theoretic lemmata and complexity classes (1990)

by C H Papadimitriou
Venue:In In Proceedings 31st Annual Symposium on Foundations of Computer Science