P. Borovansky, C. Kirchner, H. Kirchner "A functional view of rewriting and strategies for a semantic of ELAN" pp143-167, Kyoto, April 1998. World Scientific.

Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998  

Languages mentioned Elan {1998} Constraint logic program