Index: include/clang/Checker/PathSensitive/ExplodedGraph.h
===================================================================
--- include/clang/Checker/PathSensitive/ExplodedGraph.h	(revision 99978)
+++ include/clang/Checker/PathSensitive/ExplodedGraph.h	(working copy)
@@ -9,6 +9,10 @@
 //
 //  This file defines the template classes ExplodedNode and ExplodedGraph,
 //  which represent a path-sensitive, intra-procedural "exploded graph."
+//  See "Precise interprocedural dataflow analysis via graph reachability"
+//  by Reps, Horwitz, and Sagiv
+//  (http://portal.acm.org/citation.cfm?id=199462) for the definition of an
+//  exploded graph.
 //
 //===----------------------------------------------------------------------===//