> http://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2016/IWOCL_CL-Reduce.pdf +1. Congratulations to Moritz, Alastair, and Andrei! -- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX