document.write("«&nbsp;<a href='/news/view?id=87999'>Counting Environments and Closures. (arXiv:1802.00640v1 [cs.LO])</a>");document.write(" | ");document.write("<a href='/news/view?id=88001'>Crowdfunding Campaign Seeks a Fully Open Source Alternative to Citrix XenServer</a>&nbsp;»");