SMS: Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhöfer, G. Wrightson, eds.