Second Workshop on Automated Reasoning, 1995 Organizing Commitee Bundy, Alan Dept. of Artificial Intelligence Univ. of Edinburgh 80 South Bridge Edinburgh EH1 1HN United Kingdom Phone: +44 131 650-2716 Fax: +44 131 650-6516 Email: bundy@edinburgh.ac.uk Crabtree, Barry Room 8, Main Lab Block BT Labs Martlesham Heath Ipswich IP5 7RE United Kingdom Phone: +44 1473 648286 Fax: +44 1473 648409 Email: baz@info.bt.co.uk Frisch, Alan M. (Chair of Organizing Committee) Department of Computer Science University of York York YO1 5DD United Kingdom Phone: +44 1904 432745 Fax: +44 1904 432767 Email: frisch@minster.york.ac.uk Galton, Antony Department of Computer Science University of Exeter Exeter EX4 4PT United Kingdom Phone: +44 1392 264058 Fax: +44 1392 264067 Email: antony@dcs.exeter.ac.uk Ireland, Andrew (Programme Chair) Department of Artificial Intelligence The University of Edinburgh 80 South Bridge Edinburgh EH1 1HN United Kingdom Phone: +44 131 650 2721 Fax: +44 131 650 6516 Email: air@aisb.edinburgh.ac.uk Telex: 727442 (UNIVED G) Jones, Roger B. ICL Eskdale Road Winnersh Wokingham Berks, RG11 5TT Phone: +44 1734 634513 Email:rbj@campion.demon.co.uk Http: //www.to.icl.fi/ICLE/rbjpub/rbj.htm