Mehmet Dincbas, Pascal Van Hentenryck. Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. Journal of Logic and Algebraic Programming, 4(3):199-227, 1987.
@article{DincbasH87, title = {Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming}, author = {Mehmet Dincbas and Pascal Van Hentenryck}, year = {1987}, tags = {functional programming, logic programming, programming, logic, Pascal}, researchr = {https://researchr.org/publication/DincbasH87}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {4}, number = {3}, pages = {199-227}, }