Transformations of CLP modules (1996)

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