Determining the equivalence of two deterministic context-free grammars

1. Lance Fortnow's page, describing four relatively recent results in automata theory
2. The citation for the award of the 2002 Gödel prize to Geraud Senizergues for describing a decision procedure that answers this question
3. Geraud Sénizergues's page with links to his papers on this subject