Philippe Codognet, Gilberto Filé. Computations, abstractions and constraints in logic programs. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 155-164, IEEE, 1992. [doi]
Abstract is missing.