parsing combinatory categorial grammar via planning in answer set programming .
Type-Inheritance Combinatory Categorial Grammar