Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti. Correctness of Logic Program Transformations Based on Existential Termination. In ILPS. pages 480-494, 1995.
@inproceedings{LauOPP95,
title = {Correctness of Logic Program Transformations Based on Existential Termination},
author = {Kung-Kiu Lau and Mario Ornaghi and Alberto Pettorossi and Maurizio Proietti},
year = {1995},
tags = {rule-based, termination, logic programming, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/LauOPP95},
cites = {0},
citedby = {0},
pages = {480-494},
booktitle = {ILPS},
}