A syntactic characterization of NP-completeness (1994)

by J A Medina, N Immerman
Venue:In Proc. IEEE Symp. Logic in Computer Science