Local diagnosis - Wassermann, Renata (Journal of Applied Non-Classical Logics, 2001)