LEAF: A Language which Integrates Logic, Equations and Functions

@inproceedings{Barbuti1986LEAFAL,
  title={LEAF: A Language which Integrates Logic, Equations and Functions},
  author={Roberto Barbuti and Marco Bellia and Giorgio Levi and Maurizio Martelli},
  booktitle={Logic Programming: Functions, Relations, and Equations},
  year={1986}
}