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]
No references recorded for this publication.
No citations of this publication recorded.