%0 Journal Article %1 journals/tplp/CalauttiGMT16 %A Calautti, Marco %A Greco, Sergio %A Molinaro, Cristian %A Trubitsyna, Irina %D 2016 %J Theory Pract. Log. Program. %K dblp %N 3 %P 353-377 %T Using linear constraints for logic program termination analysis. %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#CalauttiGMT16 %V 16

@article{journals/tplp/CalauttiGMT16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/2276456beb6479372d13baa9fbd236f21/dblp}, ee = {https://doi.org/10.1017/S1471068416000077}, interhash = {67de41bcc26ca454713c8e7490a56849}, intrahash = {276456beb6479372d13baa9fbd236f21}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {353-377}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {Using linear constraints for logic program termination analysis.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#CalauttiGMT16}, volume = 16, year = 2016 }