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

Abstract

Media Smart achieved a reduction in eating disorder risk factors for high-depression participants and a reduced rate of growth in risk factor scores for low-depression participants. Trial registry name: Australian New Zealand Clinical Trials Registry. URL: http://www.anzctr.org.au. Registration identification number: ACTRN12608000545369.