Click here to view this summary in GitHub.
Click here to view Kevin Knight's "Unification: A Multidisciplinary Survey."
The Unification Problem
A summary of Kevin Knight's "Unification: A Multidisciplinary Survey." In addition, this brief summary also includes what I believe to be the most valuable parts.