Smaus, J.-.-G. (1996). Finding Resolution K-Transformations. Master Thesis, Universität des Saarlandes, Saarbrücken.