-R. Kumar/T. Kropf (Eds.): Theorem Provers in Circuit Design. Proceedings 1994, Springer-Verlag 1995