Journal of Automated Reasoning
Journal of Automated Reasoning > 2008 > 40 > 1 > 1-33
Journal of Automated Reasoning > 2008 > 40 > 1 > 61-85
Journal of Automated Reasoning > 2008 > 40 > 1 > 35-60
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 133-177
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 89-116
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 117-132
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 195-220
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 179-194
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 221-243
Journal of Automated Reasoning > 2008 > 40 > 4 > 293-306
Journal of Automated Reasoning > 2008 > 40 > 4 > 271-292
Journal of Automated Reasoning > 2008 > 40 > 4 > 327-356
Journal of Automated Reasoning > 2008 > 40 > 4 > 357-357
Journal of Automated Reasoning > 2008 > 40 > 4 > 307-326
Journal of Automated Reasoning > 2008 > 40 > 4 > 245-269
Journal of Automated Reasoning > 2008 > 41 > 1 > 1-31
Journal of Automated Reasoning > 2008 > 41 > 1 > 61-98
Journal of Automated Reasoning > 2008 > 41 > 1 > 33-59
Journal of Automated Reasoning > 2008 > 41 > 2 > 143-189