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