Sven Verdoolaege Kristof Beyls Maurice Bruynooghe Francky Catthoor Experiences with Enumeration of Integer Projections of Parametric Polytopes. 91-105 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=91 2005 conf/cc/2005 CC db/conf/cc/cc2005.html#VerdoolaegeBBC05