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}, }