%0 Journal Article %1 Ferraris05 %A Ferraris, Paolo %A Lifschitz, Vladimir %D 2005 %J We Will Show Them! Essays in Honour of Dov Gabbay %K answer-set-programming, stable-model %P 615--664 %T Mathematical foundations of answer set programming

@article{Ferraris05, added-at = {2011-05-04T16:04:17.000+0200}, author = {Ferraris, Paolo and Lifschitz, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/20dc08989e7b3d1fcf52418cc819d5aa0/baisemain}, citeulike-article-id = {5220370}, interhash = {a673955c79ac5ac6bd72a2892b3f7dd2}, intrahash = {0dc08989e7b3d1fcf52418cc819d5aa0}, journal = {We Will Show Them! Essays in Honour of Dov Gabbay}, keywords = {answer-set-programming, stable-model}, pages = {615--664}, posted-at = {2009-07-21 19:51:09}, priority = {2}, timestamp = {2011-05-04T16:04:34.000+0200}, title = {{Mathematical foundations of answer set programming}}, year = 2005 }