-E. Börger/Y. Gurevich/K. Meinke (Eds.): Computer Science Logic. Proceedings 1993, Springer-Verlag 1994