Smart Selective
Competition Parallelism
Automated Theorem Proving

by	with some help from
Geoff Sutcliffe Department of Computer Science James Cook University Australia geoff@cs.jcu.edu.au	Darryl Seyfang Department of Computer Science James Cook University Australia