A. Sharma and K. Forbus, “Graph Traversal Methods for Reasoning in Large Knowledge-Based Systems”, AAAI, vol. 27, no. 1, pp. 1255-1261, Jun. 2013.