-G. Gottlob/E. Grandjean/K. Seyr (Eds.): Computer Science Logic. Proceedings 1998, Springer-Verlag 1999