On Using Mode Input-output for Transforming Logic Programs

Francis Alexandre, Khaled Bsaïes, Alain Quéré. On Using Mode Input-output for Transforming Logic Programs. In LOPSTR. pages 129-146, 1991.