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