Ground term confluence in parametric conditional equational specifications - Ganzinger, Harald (Forschungsberichte der Fachbereichs Informatik der Universität Dortmund, 1986)