Journal of Automated Reasoning
Journal of Automated Reasoning > 1997 > 19 > 1 > 31-85
Journal of Automated Reasoning > 1997 > 19 > 1 > 117-141
Journal of Automated Reasoning > 1997 > 19 > 1 > 87-115
Journal of Automated Reasoning > 1997 > 19 > 1 > 1-29