Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems

@inproceedings{Aguzzi1993ProvingTO,
  title={Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems},
  author={G. Aguzzi and U. Modigliani},
  booktitle={FSTTCS},
  year={1993}
}
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…