Representations of the language recognition problem for a theorem prover. - Jack Minker; Gordon J. van der Brug (Int. J. Parallel Program., 1974)

The Earley Algorithm as a Problem Representation. - Jack Minker; Gordon J. van der Brug (Inf. Process. Lett., 1974)

State-Space, Problem-Reduction, and Theorem Proving-Some Relationships. - Gordon J. van der Brug; Jack Minker (Commun. ACM, 1975)