An algorithm for generating quantifier scopings. Computational Linguistics 13(1–2):47–63 (1987)

by Jerry R Hobbs, Stuart M Shieber