Automating Mathematical Program Transformations (2010)

by A Agarwal, S Bhat, A Gray, I E Grossmann
Venue:In Practical Aspects of Declarative Languages