Transformations of CLP modules (1996)

by S Etalle, M Gabbrielli
Venue:Theor. Comp. Sci