Steve Reeves David Streader Data refinement and singleton failures refinement are not equivalent. 295-301 2008 20 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-008-0076-5 db/journals/fac/fac20.html#ReevesS08