Schöning, Uwe. 1988.
“Complexity Theory and Interactions.” in
The Universal Turing Machine: A Half-Century Survey, edited by Rolf
Herken, 1st ed., pp. 561–580. Oxford: Oxford University Press.
Second edition: Herken (1995).
Schöning, Uwe. 1989.
Logic for Computer Scientists. Boston, Massachusetts: Birkh
äuser.