Journal of automated reasoning (Springer Netherlands, 1985)