Chatterjee, N. and Campbell, J.A. 2012. Knowledge interpolation: A simple approach to rapid symbolic reasoning. Computing and Informatics. 17, 6 (Mar. 2012), 517–551.