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