Search results
Theoretical Computer Science > 2014 > 551 > Complete > 1-21
Information and Computation > 2012 > 214 > Complete > 59-85
Journal of Logic and Algebraic Programming > 2010 > 79 > 6 > 304-316
Theoretical Computer Science > 2008 > 395 > 1 > 77-100
Electronic Notes in Theoretical Computer Science > 2006 > 156 > 1 > 97-113
Theoretical Computer Science > 2006 > 354 > 3 > 421-440
Journal of Logic and Algebraic Programming > 2001 > 47 > 1 > 15-45