Francis Alexandre Khaled Bsaïes Jean-Pierre Finance Alain Quéré Spes: A System for Logic Program Transformation. 445-447 1992 conf/lpar/1992 LPAR db/conf/lpar/lpar92.html#AlexandreBFQ92 http://dx.doi.org/10.1007/BFb0013082