-B. Fronhöfer/G. Wrightson (Eds.): Parallelization in Inference Systems, Proceedings 1990, Springer-Verlag 1992