Journal of automated reasoning (Springer Science + Business Media B.V., 1985)