"Finding Minimal Unsatisfiable Cores of Declarative Specifications."

Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics