References

[1] J. Jaffar and J.-L. Lassez, Constraint Logic Programming, Technical Report 86-74, Department of Computer Science, Monash University, Clayton, 1986.

[2] M. Marin, T. Ida, and W. Schreiner, "A Distributed System for Solving Equational Constraints based on Lazy Narrowing Calculi," in JSSST Workshop on Programming and Programming Languages (PPL'99), Atagawa, Japan, March 17-19, 1999 pp. 67-78.

[3] M. Marin, T. Ida, and T. Suzuki, "On Reducing the Search Space of Higher-Order Lazy Narrowing," in Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, LNCS 1722, (A. Middeldorp, T. Sato, eds.), Berlin and Heidelberg: Springer-Verlag, 1999 pp. 319-334.

[4] C. Prehofer, Solving Higher-order Equations. From Logic to Programming, Boston: Birkhäuser, 1998.

[5] T. Nipkow, "Functional Unification of Higher-order Patterns," in Proceedings of the 8th IEEE Symposium on Logic in Computer Science, Los Alamito, CA: IEEE Computer Society Press, 1993 pp. 64-74.

[6] H. Hong, "RISC-CLP(CF): Constraint Logic Programming over Complex Functions," in Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, LPAR'94, (F. Pfennig ed.), Berlin Heidelberg: Springer-Verlag, 1994 pp. 99-113.

[7] S. Wolfram, The Mathematica Book, 3rd ed., Champaign: Wolfram Media and Cambridge: Cambridge University Press, 1996.