-M. Clarke/R. Kruse/S. Moral (Eds.): Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer-Verlag Proceedings 1993