%0 Journal Article %1 journals/ai/SimonsNS02 %A Simons, Patrik %A Niemelä, Ilkka %A Soininen, Timo %D 2002 %J Artif. Intell. %K dblp %N 1-2 %P 181-234 %T Extending and implementing the stable model semantics. %U http://dblp.uni-trier.de/db/journals/ai/ai138.html#SimonsNS02 %V 138

@article{journals/ai/SimonsNS02, added-at = {2003-11-19T00:00:00.000+0100}, author = {Simons, Patrik and Niemelä, Ilkka and Soininen, Timo}, biburl = {https://www.bibsonomy.org/bibtex/245c90010c64d8a06b09a90bf0cb7f995/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(02)00187-X}, interhash = {e27f9d292fd408c2a7d4f6cacf22de04}, intrahash = {45c90010c64d8a06b09a90bf0cb7f995}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {181-234}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Extending and implementing the stable model semantics.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai138.html#SimonsNS02}, volume = 138, year = 2002 }