Search results
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 2 > 332-366
Science of Computer Programming > 2015 > 113 > Part 1 > 29-50
Journal of Visual Languages and Computing > 2013 > 24 > 3 > 207-217
Journal of Logic and Algebraic Programming > 2009 > 78 > 4 > 233-259