<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6038</REFNUM><AUTHORS><AUTHOR>Stavridou,V.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Boute,R.T.</AUTHOR></AUTHORS><YEAR>1992</YEAR><TITLE>Theorem Provers in Circuit Design</TITLE><PLACE_PUBLISHED>Proceedings of the IFIP TC10{WG 10.2 International Conference, Nijmegen, June 1992. Series IFIP Transactions A-10 </PLACE_PUBLISHED><PUBLISHER>North-Holland</PUBLISHER><ISBN>0-444-89686-4</ISBN><LABEL>Stavridou:1992:6038</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>