Kodkod: A relational model finder (2007)

by E Torlak, D Jackson
Venue:In TACAS