An Algebraic Approach to Sharing Analysis of Logic Programs

Set-sharing is redundant for pair-sharing

Theoretical Computer Science

Approximating the success set of logic programs using constrained regular types

ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16

Negative Ternary Set-Sharing

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

A general framework for variable aliasing: towards optimal operators for sharing properties

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation