“…An explicit reconstruction formula that is based on the global uniqueness proof of Nachman [62] is known as the d-bar method, cf., e.g., [70,51,52,55,46,56,47,53,54]. Rigorously justified inclusion detection methods for EIT include the enclosure method (see [41,10,42,44,43,45,39,74,38]), the Factorization Method (see [21,14,49,4,24,37,57,63,16,15,18,29,66,31,67,17,11,13,6] and the recent overviews [50,23,27]), and the recently emerging Monotonicity Method [72,71,32,76].…”