Transforming constraint logic programs (1998)

by N Bensaou, I Guessarian
Venue:Theor. Comp. Sci