Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]