Isomorph-free model enumeration: a new method for checking relational specifications (1998)

by Daniel Jackson, Somesh Jha, Craig A Damon
Venue:ACM TPLS