"A Proof Theory for General Unification" - читать интересную книгу автора (Wayne Snyder)