Redundant argument filtering of logic programs (1996)

by M Leuschel, M H Srensen
Venue:Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96, LNCS 1207, 83--103