I had missed the twopapers of 2011 by CHubb and Znidarsic and Roberston, now
entered. And I have now read all three volumes of the Krivit trilogy and
added them to the books file.
this is now my swan song, and I will not work on this any more.
However, someone else will take over, wait for the new link.
We now have 1529 CNF papers.
Here is a listing of the new additions of the
last three months or so.