Maurizio Proietti, Alberto Pettorossi. Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. Theoretical Computer Science, 142(1):89-124, 1995. [doi]
@article{ProiettiP95,
title = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs},
author = {Maurizio Proietti and Alberto Pettorossi},
year = {1995},
doi = {10.1016/0304-3975(94)00227-A},
url = {http://dx.doi.org/10.1016/0304-3975(94)00227-A},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/ProiettiP95},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {142},
number = {1},
pages = {89-124},
}