That&#x27;s really neat. Any reason you decided to abandon work on it?<p>Non pay-walled version: <a href="http:&#x2F;&#x2F;www.cs.technion.ac.il&#x2F;users&#x2F;wwwb&#x2F;cgi-bin&#x2F;tr-get.cgi&#x2F;2012&#x2F;CS&#x2F;CS-2012-10.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.technion.ac.il&#x2F;users&#x2F;wwwb&#x2F;cgi-bin&#x2F;tr-get.cgi&#x2F;2...</a>