Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center.
Environmental Monitoring for West Cumbria in 2011 (Sellafield & LLWR nr Drigg) John Titley Monitoring, Assessment and New Reactor Permitting.
CALTECH CS137 Fall2005 -- DeHon 1 CS137: Electronic Design Automation Day 22: December 2, 2005 Routing 2 (Pathfinder)