Spes: A System for Logic Program Transformation.

Francis Alexandre, Khaled Bsaes, Jean-Pierre Finance, Alain Qur

Browse the full LPAR paper archive.