Amitabh Basu, Michele Conforti, Marco Di Summa, Joseph Paat: The Structure of the Infinite Models in Integer Programming. IPCO 2017: 63-74