Theorem Provers in Circuit Design: Theory Practice and Experience: Second International Conference Tpcd '94 Bad Herrenalb Germany September 26-2