Exploring Theories with a Model-Finding Assistant. - Salman Saghafi; Ryan Danas; Daniel J. Dougherty (CADE, 2015)