Solving QMLTP Problems
by Translation to Higher-order Logic

by
Alexander Steen University of Greifswald, Germany	Geoff Sutcliffe University of Miami, USA
Tobias Gleißner Fraunhofer FOKUS, Germany	Christoph Benzmüller University of Bamberg, Germany