On the Inference od Structured Recursive Effects with Subtyping. - Mourad Debbabi; Zahia Aïdoud; Ali Faour (J. Funct. Log. Program., 1997)