Journal of Automated Reasoning
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 167-190
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 27-45
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 191-213
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 5-25
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 107-142
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 143-165
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 47-80
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 81-105
Journal of Automated Reasoning > 1998 > 20 > 3 > 317-336
Journal of Automated Reasoning > 1998 > 20 > 3 > 283-316
Journal of Automated Reasoning > 1998 > 20 > 3 > 365-385
Journal of Automated Reasoning > 1998 > 20 > 3 > 255-282
Journal of Automated Reasoning > 1998 > 20 > 3 > 215-253
Journal of Automated Reasoning > 1998 > 20 > 3 > 337-364