Journal of automated reasoning (D. Reidel Pub. Co., 1985)