randoCoP: Randomizing the Proof Search Order in the Connection Calculus.

Thomas Raths, Jens Otten

Browse the full CADE paper archive.