Search results for: V Murray
Journal of Automated Reasoning > 2007 > 38 > 1-3 > 155-172
Journal of Automated Reasoning > 1998 > 21 > 1 > 39-67
Journal of Automated Reasoning > 1997 > 18 > 3 > 337-356
Journal of Automated Reasoning > 1997 > 18 > 1 > 47-83