%0 Journal Article %1 journals/jlp/SchreyeD94 %A Schreye, Danny De %A Decorte, Stefaan %D 1994 %J J. Log. Program. %K dblp %P 199-260 %T Termination of Logic Programs: The Never-Ending Story. %U http://dblp.uni-trier.de/db/journals/jlp/jlp19.html#SchreyeD94 %V 19/20

@article{journals/jlp/SchreyeD94, added-at = {2022-10-02T00:00:00.000+0200}, author = {Schreye, Danny De and Decorte, Stefaan}, biburl = {https://www.bibsonomy.org/bibtex/2a3fb26bd15d74b8e2f7bb282faa49bc2/dblp}, ee = {https://doi.org/10.1016/0743-1066(94)90027-2}, interhash = {96531a2cc30264e7b0fa55b6473ae6ef}, intrahash = {a3fb26bd15d74b8e2f7bb282faa49bc2}, journal = {J. Log. Program.}, keywords = {dblp}, pages = {199-260}, timestamp = {2024-04-08T10:49:50.000+0200}, title = {Termination of Logic Programs: The Never-Ending Story.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp19.html#SchreyeD94}, volume = {19/20}, year = 1994 }