Anya Helene Bagge, Magne Haveraaen
Axiom-Based Transformations: Optimisation and Testing
LDTA, 2009.
@article{LDTA-2008-BaggeH09, author = "Anya Helene Bagge and Magne Haveraaen", doi = "10.1016/j.entcs.2009.09.038", journal = "{Electronic Notes in Theoretical Computer Science}", number = 5, pages = "17--33", title = "{Axiom-Based Transformations: Optimisation and Testing}", volume = 238, year = 2009, }