I knew Earley parsing before I read this paper. Now I know things about logic and theorem proving. Cool paper, would read again.