History

for article: Schaefer's dichotomy theorem