P. Borovansky, C. Kirchner, H. Kirchner "Strategies and rewriting in ELAN" - in Proceedings of the CADE-14 workshop: Strategies in Automated Deduction, Townsville, Australia, 1997.

Languages mentioned

• Elan {1998} Constraint logic program