Chatterjee, N.; Campbell, J. A. Knowledge Interpolation: A Simple Approach to Rapid Symbolic Reasoning. Comput. Inform. 2012, 17, 517-551.