%0 Conference Paper %1 conf/birthday/FerrarisL05 %A Ferraris, Paolo %A Lifschitz, Vladimir %B We Will Show Them! (1) %D 2005 %E Artëmov, Sergei N. %E Barringer, Howard %E d'Avila Garcez, Artur S. %E Lamb, Luís C. %E Woods, John %I College Publications %K dblp %P 615-664 %T Mathematical Foundations of Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/birthday/Gabbay1.html#FerrarisL05 %@ 1-904987-25-7

@inproceedings{conf/birthday/FerrarisL05, added-at = {2005-11-23T00:00:00.000+0100}, author = {Ferraris, Paolo and Lifschitz, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/200172effba7ebd80e314f559417af2bc/dblp}, booktitle = {We Will Show Them! (1)}, crossref = {conf/birthday/2005gabbay1}, editor = {Artëmov, Sergei N. and Barringer, Howard and d'Avila Garcez, Artur S. and Lamb, Luís C. and Woods, John}, interhash = {a673955c79ac5ac6bd72a2892b3f7dd2}, intrahash = {00172effba7ebd80e314f559417af2bc}, isbn = {1-904987-25-7}, keywords = {dblp}, pages = {615-664}, publisher = {College Publications}, timestamp = {2020-07-10T11:42:48.000+0200}, title = {Mathematical Foundations of Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Gabbay1.html#FerrarisL05}, year = 2005 }