Search results
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 2 > 75-86
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 2 > 75-86