History

for article: Karp–Lipton theorem