Kenneth A. Berman;John Franco;John S. Schlipf
-;-;-
Dichotomy Theorem for the Generalized Unique Satisfiability Problem
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
From type inference to configuration
The essence of computation