Search results for: C. A. Johnson
Journal of Automated Reasoning > 2009 > 42 > 1 > 35-76
Journal of Automated Reasoning > 2001 > 26 > 4 > 333-356
Journal of Automated Reasoning > 2009 > 42 > 1 > 35-76
Journal of Automated Reasoning > 2001 > 26 > 4 > 333-356