%0 Journal Article %1 journals/corr/cs-LO-0005018 %A Bossi, Annalisa %A Cocco, Nicoletta %A Etalle, Sandro %A Rossi, Sabina %D 2000 %J CoRR %K dblp %T On Modular Termination Proofs of General Logic Programs %U http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005018 %V cs.LO/0005018

@article{journals/corr/cs-LO-0005018, added-at = {2020-01-10T00:00:00.000+0100}, author = {Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2799a1f423798ac4de2eb0d26bae48951/dblp}, ee = {https://arxiv.org/abs/cs/0005018}, interhash = {6fb1c6eb0ea6edeb0f2f3ca0185f1442}, intrahash = {799a1f423798ac4de2eb0d26bae48951}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:41:17.000+0100}, title = {On Modular Termination Proofs of General Logic Programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005018}, volume = {cs.LO/0005018}, year = 2000 }