-L. Pacholski/J. Tiuryn (Eds.): Computer Science Logic. Proceedings 1994, Springer-Verlag 1995