Searching for "Synthesis of a Unification Algorithm in a Logic Programming Calculus." – sorted by Relevance.
-
Publications List --- KDR
- algorithm in a logic programming calculus, J. Logic Program, 1, 1 (June 1984), 3-18. Computing Reviews, 27
- Add To MetaCart

