IP List distribution Kowalski R. Logic for Problem Solving, Revisited 2014, total 0