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.
No references recorded for this publication.
No citations of this publication recorded.