Search results for: C. Jeske
Journal of Logic and Algebraic Programming > 2010 > 79 > 3-5 > 215-232
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 209-229
Journal of Logic and Algebraic Programming > 2010 > 79 > 3-5 > 215-232
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 209-229