Redundant Argument Filtering of Logic Programs.

Michael Leuschel Morten Heine Sørensen Redundant Argument Filtering of Logic Programs. 83-103 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#LeuschelS96a