Computations, abstractions and constraints in logic programs

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]

@inproceedings{CodognetF92,
  title = {Computations, abstractions and constraints in logic programs},
  author = {Philippe Codognet and Gilberto Filé},
  year = {1992},
  doi = {10.1109/ICCL.1992.185478},
  url = {http://dx.doi.org/10.1109/ICCL.1992.185478},
  tags = {constraints, logic programming, logic, abstraction},
  researchr = {https://researchr.org/publication/CodognetF92},
  cites = {0},
  citedby = {0},
  pages = {155-164},
  booktitle = {ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992},
  editor = {James R.  Cordy and Mario Barbacci},
  publisher = {IEEE},
  isbn = {0-8186-2585-6},
}