An SMT-driven Authoring Tool.

Sriram Venkatapathy, Shachar Mirkin

Browse the full COLING paper archive.