Search results for: C. A. Johnson
Journal of Automated Reasoning > 2004 > 32 > 2 > 167-184
Journal of Automated Reasoning > 1997 > 19 > 1 > 31-85
Journal of Automated Reasoning > 2004 > 32 > 2 > 167-184
Journal of Automated Reasoning > 1997 > 19 > 1 > 31-85