Equational constructor induction / I. Bethke, P.H. Rodenburg