Search results for: Simone Tini
Journal of Logic and Algebraic Programming > 2010 > 79 > 6 > 304-316
Journal of Logic and Algebraic Programming > 2004 > 60-61 > Complete > 353-400
Journal of Logic and Algebraic Programming > 2010 > 79 > 6 > 304-316
Journal of Logic and Algebraic Programming > 2004 > 60-61 > Complete > 353-400