William I. Gasarch;Lane A. Hemachandra;Albrecht Hoene
-;-;-
NP trees and Carnap's modal logic
Journal of the ACM (JACM)