History

for article: Conjunctive normal form