Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus. - Dave Barker-Plummer; Robert Dale; Richard Cox; Alex Romanczuk (EDM, 2012)