N. Chatterjee and J. A. Campbell, “Knowledge interpolation: A simple approach to rapid symbolic reasoning”, Comput. Inform., vol. 17, no. 6, pp. 517–551, Mar. 2012.