Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets | Publicación