Fullständig titel Theory Exploration and Inductive Theorem Proving Författare Rosén, Dan Publiceringsår 2016
