Search results
Journal of Automated Reasoning > 2012 > 48 > 2 > 159-195
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 103-119
Computer Communications > 2000 > 23 > 17 > 1606-1612
Journal of Automated Reasoning > 2012 > 48 > 2 > 159-195
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 103-119
Computer Communications > 2000 > 23 > 17 > 1606-1612