An ASP approach for the optimal placement of the isolation valves in a water distribution system