RuleSQLova: Improving Text-to-SQL with Logic Rules | IEEE Conference Publication | IEEE Xplore