%0 Journal Article %1 journals/aim/KaufmannLPS16 %A Kaufmann, Benjamin %A Leone, Nicola %A Perri, Simona %A Schaub, Torsten %D 2016 %J AI Magazine %K %N 3 %P 25-32 %T Grounding and Solving in Answer Set Programming. %U http://dblp.uni-trier.de/db/journals/aim/aim37.html#KaufmannLPS16 %V 37

@article{journals/aim/KaufmannLPS16, added-at = {2023-12-12T18:54:06.000+0100}, author = {Kaufmann, Benjamin and Leone, Nicola and Perri, Simona and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/20ae59a272e1a358223d138fcbf384da0/admin}, ee = {https://doi.org/10.1609/aimag.v37i3.2672}, interhash = {18da1b02004c23ea37ff03ae45838b7a}, intrahash = {0ae59a272e1a358223d138fcbf384da0}, journal = {AI Magazine}, keywords = {}, number = 3, pages = {25-32}, timestamp = {2023-12-12T18:54:06.000+0100}, title = {Grounding and Solving in Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/journals/aim/aim37.html#KaufmannLPS16}, volume = 37, year = 2016 }