@inproceedings{Habra91,
  title = {From Abstract Data Types to Logic Programs: A Transformational Approach},
  author = {Naji Habra},
  year = {1991},
  tags = {data-flow programming, logic programming, logic, systematic-approach, transformation, program transformation},
  researchr = {https://researchr.org/publication/Habra91},
  cites = {0},
  citedby = {0},
  pages = {251-278},
  booktitle = {ICLP},
}