http://www.link.cs.cmu.edu/link/

Davy Temperley: http://theory.esm.rochester.edu/temperley/
Daniel Sleator: http://www.cs.cmu.edu/~sleator/
John Lafferty: http://www.cs.cmu.edu/~lafferty/