Click on the title to view the text:
Bilanova, Zuzana and Stancel, Martin
The Automated Creation of Logical Constructions from Natural Language Sentences