Ohlbach, H. J.(1992). Preprints of Proceedings of GWAI-92 (MPI-I-92-232). Saarbrücken: Max-Planck-Institut für Informatik.