Redundant argument filtering of logic programs (1996)

by M Leuschel, M H Sørensen
Venue:Proceedings of the 6th International Workshop on Logic Program Synthesis and Transformation, volume 1207 of LNCS