On Using Mode Input-output for Transforming Logic Programs.

Francis Alexandre, Khaled Bsaes, Alain Qur

Browse the full LOPSTR paper archive.