Dixonand Fleuriot. Isaplanner: A Prototype Proof Planner in Isabelle. Springer Berlin Heidelberg, 2003, doi:10.1007/978-3-540-45085-6_22.