An Analysis of the Equational Properties of the Well-Founded Fixed Point.