The problem of logical form equivalence Stuart M Shieber author 1993 text journal article Computational Linguistics continuing MIT Press Cambridge, MA periodical academic journal shieber-1993-problem https://aclanthology.org/J93-1008/ 1993 19 1 179 190