LARA This is an old revision of the document! Exercise 06 - DRAFT Build a resolution-based theorem prover that will win the CASC competition of resolution-based theorem provers.