Transforming constraint logic programs (1998)

by N Bensaou, I Guessarian
Venue:Theoretical Computer Science