Sharma, A.; Forbus, K. Graph Traversal Methods for Reasoning in Large Knowledge-Based Systems. AAAI 2013, 27, 1255-1261.