Harnessing Constraint Programming for Poetry Composition
parsing combinatory categorial grammar via planning in answer set programming .