%0 Journal Article %1 journals/jlp/EtalleBC99 %A Etalle, Sandro %A Bossi, Annalisa %A Cocco, Nicoletta %D 1999 %J J. Log. Program. %K dblp %N 2 %P 243-257 %T Termination of Well-Moded Programs. %U http://dblp.uni-trier.de/db/journals/jlp/jlp38.html#EtalleBC99 %V 38

@article{journals/jlp/EtalleBC99, added-at = {2011-12-01T00:00:00.000+0100}, author = {Etalle, Sandro and Bossi, Annalisa and Cocco, Nicoletta}, biburl = {https://www.bibsonomy.org/bibtex/224a622a964ac9ada8b4e5c40129df97b/dblp}, ee = {http://dx.doi.org/10.1016/S0743-1066(98)10025-0}, interhash = {5776adf23d057ceb765ce073a572f5fb}, intrahash = {24a622a964ac9ada8b4e5c40129df97b}, journal = {J. Log. Program.}, keywords = {dblp}, number = 2, pages = {243-257}, timestamp = {2011-12-02T11:38:31.000+0100}, title = {Termination of Well-Moded Programs.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp38.html#EtalleBC99}, volume = 38, year = 1999 }