Effectiveness of optimizing compilation of CLP(R (1992)

by A Kelly, A Macdonald, K Marriott, P J Stuckey, R H C Yap
Venue:In Procs. of JICSLP92