Ground term confluence in parametric conditional equational specifications - Ganzinger, Harald (1986)