@inproceedings{DBLP:conf/lpnmr/GebserJJKS15, title = {{ASP} Solving for Expanding Universes}, author = {Gebser, Martin and Janhunen, Tomi and Jost, Holger and Kaminski, Roland and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {354--367}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9345}, year = {2015} }