Stefan Kupferschmid, Bernd Becker. Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 279-288, OFFIS-Institut für Informatik, 2011.
Abstract is missing.