%0 Journal Article %1 journals/toplas/DecorteSV99 %A Decorte, Stefaan %A Schreye, Danny De %A Vandecasteele, Henk %D 1999 %J ACM Trans. Program. Lang. Syst. %K dblp %N 6 %P 1137-1195 %T Constraint-based termination analysis of logic programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas21.html#DecorteSV99 %V 21

@article{journals/toplas/DecorteSV99, added-at = {2022-10-02T00:00:00.000+0200}, author = {Decorte, Stefaan and Schreye, Danny De and Vandecasteele, Henk}, biburl = {https://www.bibsonomy.org/bibtex/2b2d9495e8bead490cddc13ee704df90f/dblp}, ee = {https://doi.org/10.1145/330643.330645}, interhash = {8b357b87dbf38453ee27757199eda2f1}, intrahash = {b2d9495e8bead490cddc13ee704df90f}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 6, pages = {1137-1195}, timestamp = {2024-04-09T06:03:04.000+0200}, title = {Constraint-based termination analysis of logic programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas21.html#DecorteSV99}, volume = 21, year = 1999 }