Title: A survey of properties of relations which have the confluence property
Subjects: Computer science