-J. Flum/M. Rodrigüz-Artalejo (Eds.): Computer Science Logic. Proceedings, Springer-Verlag 1999