%0 Journal Article %1 journals/tplp/GrecoMT13 %A Greco, Sergio %A Molinaro, Cristian %A Trubitsyna, Irina %D 2013 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 737-752 %T Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. %U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#GrecoMT13 %V 13

@article{journals/tplp/GrecoMT13, added-at = {2021-10-14T00:00:00.000+0200}, author = {Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/2caca8c2c5a11f725e67d0cf4ede88b52/dblp}, ee = {https://www.wikidata.org/entity/Q62047414}, interhash = {39319589704877bde0b4e83c7af9f08b}, intrahash = {caca8c2c5a11f725e67d0cf4ede88b52}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {737-752}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#GrecoMT13}, volume = 13, year = 2013 }