History

for article: Polynomial-time reduction