Email Record: Foundations of Equational Logic Programming /