@article{DBLP:journals/corr/JanhunenKOSSW17, title = {Clingo goes Linear Constraints over Reals and Integers}, author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schellhorn, Sebastian and Wanko, Philipp}, journal = {CoRR}, volume = {abs/1707.04053}, year = {2017} }