Journal of automated reasoning (1996)