  This is a companion piece to my paper on "Example-Based Procedural Modeling
Using Graph Grammars." This paper examines some of the theoretical issues in
more detail. This paper discusses some more complex parts of the
implementation, why certain algorithmic decisions were made, proves the
algorithm can solve certain classes of problems, and examines other interesting
theoretical questions.
