Maurizio Proietti, Alberto Pettorossi. Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 601-616, 1993.
@inproceedings{ProiettiP93:2,
title = {Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables},
author = {Maurizio Proietti and Alberto Pettorossi},
year = {1993},
tags = {completeness, transformation},
researchr = {https://researchr.org/publication/ProiettiP93%3A2},
cites = {0},
citedby = {0},
pages = {601-616},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}