Redundancy of Variables in CLP(R (1993)

by A D Macdonald, P J Stuckey, R H C Yap
Venue:In Proceedings of the 1993 International Logic Programming Symposium