Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Maurice Bruynooghe Kung-Kiu Lau Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development Program Development in Computational Logic Lecture Notes in Computer Science 3049 Springer 2004 3-540-22152-2 db/conf/lopstr/lncs3049.html