COMTES - Vervollständigung von Termersetzungssystemen - Steinbach, Joachim (SEKI working paper, 1989)