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

by D JACKSON, S JHA, C DAMON
Venue:ACM Trans. Program. Lang. Syst