Added Karp, Cook, Turing, and barrier papers.
Added NP definition, started relativization barrier, added quotes.
Updated