Logic Programming with Equations

Maarten H. van Emden, Keitaro Yukawa. Logic Programming with Equations. Journal of Logic and Algebraic Programming, 4(4):265-288, 1987.

@article{EmdenY87,
  title = {Logic Programming with Equations},
  author = {Maarten H. van Emden and Keitaro Yukawa},
  year = {1987},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/EmdenY87},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {4},
  number = {4},
  pages = {265-288},
}