Learning Summaries of Recursive Functions. - Chen, Yu-Fang; Wang, Bow-Yaw; Yang, Kai-Chun (2014)