%0 Conference Paper %1 conf/epia/PearceTW01 %A Pearce, David %A Tompits, Hans %A Woltran, Stefan %B EPIA %D 2001 %E Brazdil, Pavel %E Jorge, Alípio %I Springer %K dblp %P 306-320 %T Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. %U http://dblp.uni-trier.de/db/conf/epia/epia2001.html#PearceTW01 %V 2258 %@ 3-540-43030-X

@inproceedings{conf/epia/PearceTW01, added-at = {2017-05-26T00:00:00.000+0200}, author = {Pearce, David and Tompits, Hans and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/266eb53e935d7c5face83c0b93db6b607/dblp}, booktitle = {EPIA}, crossref = {conf/epia/2001}, editor = {Brazdil, Pavel and Jorge, Alípio}, ee = {https://doi.org/10.1007/3-540-45329-6_31}, interhash = {dab6caa1aef59f3e168ad45724079df3}, intrahash = {66eb53e935d7c5face83c0b93db6b607}, isbn = {3-540-43030-X}, keywords = {dblp}, pages = {306-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:48:16.000+0200}, title = {Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.}, url = {http://dblp.uni-trier.de/db/conf/epia/epia2001.html#PearceTW01}, volume = 2258, year = 2001 }