Search results for: C. A. Johnson
Journal of Automated Reasoning > 2004 > 32 > 2 > 167-184
Fundamenta Informaticae > 2004 > Vol. 62, nr 3,4 > 343--368
Journal of Automated Reasoning > 2001 > 26 > 4 > 333-356
Journal of Automated Reasoning > 2004 > 32 > 2 > 167-184
Fundamenta Informaticae > 2004 > Vol. 62, nr 3,4 > 343--368
Journal of Automated Reasoning > 2001 > 26 > 4 > 333-356