Finding Minimal Unsatisfiable Cores of Declarative Specifications.

Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson

Browse the full FM paper archive.