Florian Pigorsch, Christoph Scholl. Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 77-86, Universitätsbibliothek Berlin, Germany, 2009.