Title: Automation in language translation and theorem proving
Subjects: Symbolic and mathematical Logic, Computational linguistics, Mathematical linguistics