History

for article: Truth-table reduction