Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development - Bruynooghe, Maurice; Lau, Kung-Kiu (Springer Berlin Heidelberg, 2004)