author = {Bruno Buchberger},
title = {{From Natural Language to Automated Reasoning}},
language = {english},
year = {2016},
month = {September 5},
note = {Invited talk at DEXA 2016 (27th International Conference on Database and Expert Systems Applications)},
organization = {Porto, Portugal},
conferencename = {DEXA 2016 (27th International Conference on Database and Expert Systems Applications)}