%0 Conference Paper %1 conf/ecai/PearceV04 %A Pearce, David %A Valverde, Agustín %B ECAI %D 2004 %E de Mántaras, Ramón López %E Saitta, Lorenza %I IOS Press %K dblp %P 388-392 %T Synonymus Theories in Answer Set Programming and Equilibrium Logic. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2004.html#PearceV04 %@ 1-58603-452-9

@inproceedings{conf/ecai/PearceV04, added-at = {2016-02-05T00:00:00.000+0100}, author = {Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/25de3fdee75446ee8333914548a61bb19/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2004}, editor = {de Mántaras, Ramón López and Saitta, Lorenza}, interhash = {6001f09577f18768f492200723315a4b}, intrahash = {5de3fdee75446ee8333914548a61bb19}, isbn = {1-58603-452-9}, keywords = {dblp}, pages = {388-392}, publisher = {IOS Press}, timestamp = {2018-05-12T11:39:22.000+0200}, title = {Synonymus Theories in Answer Set Programming and Equilibrium Logic.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2004.html#PearceV04}, year = 2004 }