"Redundant Argument Filtering of Logic Programs."

Michael Leuschel, Morten Heine Sørensen (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics