Title: Logic and Algorithms in Computational Linguistics 2018