Transformations of CLP modules (1996)

by S Etalle, M Gabbrielli
Venue:Theoretical Computer Science