Elena Marchiori, Frank Teusink. Proving Termination of Logic Programs with Delay Declarations. In ILPS. pages 447-461, 1995.
@inproceedings{MarchioriT95, title = {Proving Termination of Logic Programs with Delay Declarations}, author = {Elena Marchiori and Frank Teusink}, year = {1995}, tags = {termination, logic programming, logic}, researchr = {https://researchr.org/publication/MarchioriT95}, cites = {0}, citedby = {0}, pages = {447-461}, booktitle = {ILPS}, }