Meyer, C. (1996). Parallel Unit Resulting Resolution. Master Thesis, Universität des Saarlandes, Saarbrücken.