Redundant Argument Filtering of Logic Programs (1996)

by M Leuschel, M H Sørensen
Venue:In Proc. of LOPSTR’96