Wyniki wyszukiwania dla: C. A. Johnson
Journal of Automated Reasoning > 2009 > 42 > 1 > 35-76
Journal of Automated Reasoning > 2004 > 32 > 2 > 167-184
Journal of Automated Reasoning > 2001 > 26 > 4 > 333-356
Journal of Automated Reasoning > 1997 > 19 > 1 > 31-85