Florence Benoy, Andy King. Inferring Argument Size Relationships with CLP(R). In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 204-223, Springer, 1996.
Abstract is missing.