Full threadranit8·Abstract leading to the PDF: http://www.cs.ox.ac.uk/publications/publication3843-abstract...View on HN