Learning from errors in translating natural language in first-order predicate logic
Networked Digital Library of Theses and Dissertations