TY - RPRT TI - Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets AU - Laurent Viennot AU - Yacine Boufkhad AU - Leonardo Linguaglossa AU - Fabien Mathieu AU - Diego Perino PY - 2018 UR - https://arxiv.org/abs/1809.01896 ID - 1809.01896 ER -