Martin Oberkönig, Martin Schickel, Hans Eveking. Eine quantitative Vollständigkeitsanalyse für Eigenschaftssätze. In Christoph Scholl, Stefan Disch, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. pages 41-50, Shaker, 2008.
Abstract is missing.