%0 Journal Article %1 journals/tplp/LopesCS12 %A Lopes, Ricardo %A Costa, Vítor Santos %A Silva, Fernando M. A. %D 2012 %J Theory Pract. Log. Program. %K dblp %N 3 %P 319-360 %T A design and implementation of the Extended Andorra Model. %U http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#LopesCS12 %V 12

@article{journals/tplp/LopesCS12, added-at = {2020-02-13T00:00:00.000+0100}, author = {Lopes, Ricardo and Costa, Vítor Santos and Silva, Fernando M. A.}, biburl = {https://www.bibsonomy.org/bibtex/2a773a38ae55756c97c62dc81456da4c3/dblp}, ee = {https://doi.org/10.1017/S1471068411000068}, interhash = {c1a4312ce148bcdbb6d22e854b9bf104}, intrahash = {a773a38ae55756c97c62dc81456da4c3}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {319-360}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {A design and implementation of the Extended Andorra Model.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#LopesCS12}, volume = 12, year = 2012 }