ECLiPSe: A platform for constraint logic programming (1997)

by M G Wallace, S Novello, J Schimpf
Venue:ICL Systems Journal