"Razor: Provenance and Exploration in Model-Finding."

Salman Saghafi, Daniel J. Dougherty (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics