-D. Leivant (Ed.): Logic and Computational Complexity. Proceedings 1994, Springer-Verlag 1995