Joachim Niehren; Andreas Podelski; Ralf Treinen
DFKI, DFKI Research Reports (RR), Vol. 93-14, 1993.
Franz Baader; Karl Schlechta
DFKI, DFKI Research Reports (RR), Vol. 93-13, 1993.