Faster Checking of Software Specifications by Eliminating Isomorphs.

Daniel Jackson, Somesh Jha, Craig Damon

Browse the full POPL paper archive.