Philippe Codognet, Gilberto Filé: Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164