Combination techniques and decision problems for disunification - Baader, Franz 1959-; Schulz, Klaus (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report, 1993)