Applying automated deduction to natural language understanding

Johan Bos. Applying automated deduction to natural language understanding. J. Applied Logic, 7(1):100-112, 2009. [doi]

Abstract

Abstract is missing.