Carme Álvarez;José L. Balczar;Birgit Jenner
-;-;-
NP trees and Carnap's modal logic
Journal of the ACM (JACM)