Parallelization in inference systems international workshop, Dagstuhl Castle, Germany, December 17 - 18, 1990 ; proceedings (Springer, 1992)