%0 Journal Article %1 Simons04 %A Simons, Patrik %D 2004 %J http://www.tcs.hut.fi/Software/smodels/ %K imported %T SMODELS Answer Set Solver %U http://www.tcs.hut.fi/Software/smodels/

@article{Simons04, added-at = {2011-05-04T16:04:17.000+0200}, author = {Simons, Patrik}, biburl = {https://www.bibsonomy.org/bibtex/266bfddf1146e7cb4114b82211289b9b4/baisemain}, citeulike-article-id = {416638}, citeulike-linkout-0 = {http://www.tcs.hut.fi/Software/smodels/}, interhash = {b167d8485f8acc249ee1757c86c596af}, intrahash = {66bfddf1146e7cb4114b82211289b9b4}, journal = {http://www.tcs.hut.fi/Software/smodels/}, keywords = {imported}, posted-at = {2009-07-25 21:24:38}, priority = {2}, timestamp = {2011-05-04T16:04:33.000+0200}, title = {{SMODELS} Answer Set Solver}, url = {http://www.tcs.hut.fi/Software/smodels/}, year = 2004 }