A Syntactic Characterization of NP-Completeness

J. Antonio Medina, Neil Immerman

Browse the full LICS paper archive.