Crowd-scale interactive formal reasoning and analytics. - Ethan Fast; Colleen Lee; Alex Aiken; Michael S. Bernstein; Daphne Koller; Eric Smith (UIST, 2013)