Describir: Foundations of equational logic programming /