A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)