Freitas, Leo and Jones, Cliff B. (2010) Learning from an expert's proof: AI4FM. [["eprint_typename_conferenceitem" not defined]]