The difference and truth-table hierarchies for NP Johannes Köbler, Uwe Schöning, Klaus W. Wagner (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
The observational predicate calculus and complexity of computations (Preliminary communication) Pavel Pudlák (1975) Commentationes Mathematicae Universitatis Carolinae