History

for article: Skolem normal form