J. Jaffar and J.-L. Lassez, Constraint Logic Programming, Technical Report 86-74, Department of Computer Science, Monash University, Clayton, 1986.
 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.
 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.
 C. Prehofer, Solving Higher-order Equations. From Logic to Programming, Boston: Birkhäuser, 1998.
 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.
 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.
 S. Wolfram, The Mathematica Book, 3rd ed., Champaign: Wolfram Media and Cambridge: Cambridge University Press, 1996.
Copyright © 2001 Wolfram Media, Inc. All rights reserved.