Search results
Electronic Notes in Theoretical Computer Science > 2008 > 216 > Complete > 31-44
Information and Computation > 2005 > 199 > 1-2 > 3-23
Journal of Automated Reasoning > 2003 > 31 > 1 > 33-72
Electronic Notes in Theoretical Computer Science > 2008 > 216 > Complete > 31-44
Information and Computation > 2005 > 199 > 1-2 > 3-23
Journal of Automated Reasoning > 2003 > 31 > 1 > 33-72