3 ms·Run Your Research: On the Effectiveness of Lightweight Mechanization (2012)1 points by scott_s 13y ago