DMCA

and partial evaluation

by David W. Binkley , Sebastian Danicic , Mark Harman , John Howroyd , Lahcen Ouarbya