A Proof Theory for General Unification door Bruce Snyder & Wayne Snyder