Uwe Schöning;Klaus W. Wagner
-;-
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
SIGACT news complexity theory column 35
ACM SIGACT News