Graph-Based Formalisms for Knowledge Representation
Artificial intelligence: A modern approach