@article{DBLP:journals/tplp/JanhunenKOSWS17, title = {Clingo goes linear constraints over reals and integers}, author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schellhorn, Sebastian and Wanko, Philipp and Schaub, Torsten}, journal = {{TPLP}}, number = {5-6}, pages = {872--888}, volume = {17}, year = {2017} }