Redundant Argument Filtering of Logic Programs (1996)

by Michael Leuschel, Morten Heine Sørensen
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207