(Revisions to Question 1 made on 4 May 2003.)
(This version reflects the use of the Lemma in the Theorem about CFL's. When the tree is divided along the edge, the subproblem containing the root must contain a node representing the other tree.)
Last modified 10 May 2003