Robert K. Brayton, Alan Mishchenko: ABC: An Academic Industrial-Strength Verification Tool. CAV 2010: 24-40