Program development in computational logic : a decade of research advances in logic-based program development / - Bruynooghe, M.; Lau, K.-K. (Springer,, 2004)