Journal of Automated Reasoning | 1999(22) articles