Torlak, E., & Jackson, D. (2009). A constraint solver for software engineering: Finding models and cores of large relational specifications. Massachusetts Institute of Technology.
Chicago Style (17th ed.) CitationTorlak, Emina, and Daniel Jackson. A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Massachusetts Institute of Technology, 2009.
MLA (8th ed.) CitationTorlak, Emina, and Daniel Jackson. A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Massachusetts Institute of Technology, 2009.
Warning: These citations may not always be 100% accurate.