%0 Journal Article %1 journals/jlp/Ruggieri00 %A Ruggieri, Salvatore %D 2000 %J J. Log. Program. %K dblp %N 1-2 %P 103-137 %T Decidability of logic program semantics and applications to testing. %U http://dblp.uni-trier.de/db/journals/jlp/jlp46.html#Ruggieri00 %V 46

@article{journals/jlp/Ruggieri00, added-at = {2011-12-01T00:00:00.000+0100}, author = {Ruggieri, Salvatore}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23771b2128aa396405b8eb3e5a8bb7044/dblp}, ee = {http://dx.doi.org/10.1016/S0743-1066(99)00067-9}, interhash = {cf407be5b5991aa18f081507cae0745f}, intrahash = {3771b2128aa396405b8eb3e5a8bb7044}, journal = {J. Log. Program.}, keywords = {dblp}, number = {1-2}, pages = {103-137}, timestamp = {2016-02-02T10:00:21.000+0100}, title = {Decidability of logic program semantics and applications to testing.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp46.html#Ruggieri00}, volume = 46, year = 2000 }