Link to "Krivine Nets."
Merge pull request #5 from yallop/krivine-nets

Link to "Krivine Nets."