Bruynooghe, M..Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /.Springer,,c2004..
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Bruynooghe, M.,Lau, K.-K..Program development in computational logic : a decade of research advances in logic-based program development /.Springer,,c2004..
