A proof theory for general unification | lit.salon