Journal of automated reasoning (Kluwer Academic Publishers)