Chatterjee, N., and J. A. Campbell. 2012. “Knowledge Interpolation: A Simple Approach to Rapid Symbolic Reasoning”. Computing and Informatics 17 (6):517-51. http://147.213.75.17/ojs/index.php/cai/article/view/614.