Graph traversal methods for reasoning in large knowledge-based systems
An introduction to the syntax and content of Cyc