-D. van Dalen/M. Bezem (Eds.): Computer Science Logic. Proceedings 1996, Springer-Verlag 1997