A proof theory for general unification by Wayne Snyder | Lex | Lex