Redundant argument filtering of logic programs (1996)

by M Leuschel, M H Sørensen
Venue:Logic Programming Synthesis and Transformation, LOPSTR’96, Proceedings, LNCS 1207