Publisher
Springer Nature Switzerland
Reference19 articles.
1. Amato, G., Scozzari, F.: Optimality in goal-dependent analysis of sharing. Theory Pract. Logic Program. 9(5), 617–689 (2009). https://doi.org/10.1017/S1471068409990111
2. Apt, K.R.: From Logic Programming to Prolog. Prentice Hall, Hoboken (1997)
3. Bezem, M., Klop, J.W., de Vrijer, R. (eds.): Term Rewriting Systems, chap. First-order term rewriting systems. Cambridge University Press, Cambridge (2003)
4. Dwork, C., Kanellakis, P., Mitchell, J.C.: On the sequential nature of unification. J. Logic Program. 1, 35–50 (1984). https://doi.org/10.1016/0743-1066(84)90022-0
5. Eder, E.: Properties of substitutions and unifications. J. Symb. Comput. 1(1), 31–46 (1985). https://doi.org/10.1016/S0747-7171(85)80027-4