Title: Proof Theory for General Unification