Effiziente Reduktionsstrategien in Termersetzunssystemen. - Jürgen Müller 007; Elvira Wagner (GWAI, 1986)