History

for article: Resolution (logic)