Journal of Automated Reasoning (D. Reidel Publishing, 1985)