Rathsand Otten. Randocop: Randomizing the Proof Search Order in the Connection Calculus. 2008.