%0 Conference Paper %1 conf/lpnmr/GebserJJKS15 %A Gebser, Martin %A Janhunen, Tomi %A Jost, Holger %A Kaminski, Roland %A Schaub, Torsten %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K %P 354-367 %T ASP Solving for Expanding Universes. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#GebserJJKS15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/GebserJJKS15, added-at = {2023-12-13T09:05:11.000+0100}, author = {Gebser, Martin and Janhunen, Tomi and Jost, Holger and Kaminski, Roland and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/24eeddca0fcc00a68edd49e5dcd9b700f/admin}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/978-3-319-23264-5_30}, interhash = {cacef8f91ee56959d9fc282f294f4c2c}, intrahash = {4eeddca0fcc00a68edd49e5dcd9b700f}, isbn = {978-3-319-23263-8}, keywords = {}, pages = {354-367}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:05:11.000+0100}, title = {ASP Solving for Expanding Universes.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#GebserJJKS15}, volume = 9345, year = 2015 }