%0 Journal Article %1 journals/tplp/AlvianoP15 %A Alviano, Mario %A Peñaloza, Rafael %D 2015 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 588-603 %T Fuzzy answer set computation via satisfiability modulo theories. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#AlvianoP15 %V 15

@article{journals/tplp/AlvianoP15, added-at = {2020-02-13T00:00:00.000+0100}, author = {Alviano, Mario and Peñaloza, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2b582af403904f44ce522e6687657af8c/dblp}, ee = {https://doi.org/10.1017/S1471068415000241}, interhash = {37a96023ad71682c038a794cddebe676}, intrahash = {b582af403904f44ce522e6687657af8c}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {588-603}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {Fuzzy answer set computation via satisfiability modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#AlvianoP15}, volume = 15, year = 2015 }