DFKI GmbH DFKI Technical Memos (TM) 90-04 1990.
Zur PublikationIn: Computational Logic. Symposium on Computational Logic 7th ESPRIT Conference November 13-14 Brussels Belgium Seiten 177-201 ESPRIT Basic Research Series 1 Springer 11/1990.
Zur Publikation