Announcement_22

Uploaded a new version of our work on goal-driven query answering over second-order logical theories in the order of milliseconds to arXiv. Special thanks to Boris Motik