Publisher
Springer International Publishing
Reference16 articles.
1. Albert, L., Casas, R., Fages, F.: Average-case analysis of unification algorithms. Theor. Comput. Sci. 113(1), 3–34 (1993). https://doi.org/10.1016/0304-3975(93)90208-B
2. Lecture Notes in Computer Science;KR Apt,1992
3. Baader, F., Snyder, W.: Unification theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 445–532. Elsevier and MIT Press (2001). https://doi.org/10.1016/b978-044450813-3/50010-2
4. Byrd, W.E.: Relational Programming in Minikanren: techniques, applications, and implementations. Ph.D. thesis, USA (2009)
5. Byrd, W.E., Ballantyne, A., Rosenblatt, G., Might, M.: A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1(ICFP), 8:1–8:26 (2017). https://doi.org/10.1145/3110252