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