Journal of automated reasoning