Emina Torlak. A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Massachusetts Institute of Technology Ph.D. Thesis, 2009. (DOI, Cited by)
Emina Torlak, Felix Sheng-Ho Chang, and Daniel Jackson. Finding Minimal Unsatisfiable Cores of Declarative Specifications. Formal Methods (FM), 2008. (DOI, Cited by)
Emina Torlak and Daniel Jackson. Kodkod: A Relational Model Finder. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007. (DOI, Cited by)
Emina Torlak and Greg Dennis. Kodkod for Alloy Users. Alloy Workshop, 2006. (Cited by)
The Kodkod Constraint Solver