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. 129-146 1991 LOPSTR db/conf/lopstr/lopstr91.html#AlexandreBQ91