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.