Michael Leuschel, Morten Heine Sørensen. Redundant Argument Filtering of Logic Programs. 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 83-103, Springer, 1996.
Abstract is missing.