Article PDF
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
The online version of the original article can be found under doi: 10.1007/s10990-008-9024-6.
Rights and permissions
About this article
Cite this article
Pettorossi, A., Proietti, M. Totally correct logic program transformations via well-founded annotations. Higher-Order Symb Comput 21, 235 (2008). https://doi.org/10.1007/s10990-008-9031-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10990-008-9031-7