"Alloy+HotCore: A fast approximation to unsat core" (2010) D'Ippolito, N.;Frias, M.F.;Galeotti, J.P. (
...)Mera, S. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:160-173
10.1007/978-3-642-11811-1_13
paper_03029743_v5977LNCS_n_p160_DIppolito