Aitor Ibarra, José M. Mendías, Juan Lanchares, José Ignacio Hidalgo, Román Hermida. Optimization of Equational Specifications Using Genetic Techniques. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 252-258, IEEE Computer Society, 2002. [doi]