History

for article: Journal of Automated Reasoning