Redundant argument filtering of logic programs (1996)

by M Leuschel, M H Sørensen
Venue:Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR’96), LNCS 1207