Annalisa Bossi Yves Deville Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. 139-140 1999 41 J. Log. Program. 2-3 db/journals/jlp/jlp41.html#BossiD99