An Experimental Comparison of Alternative Proof Construction Environments ScheinesRichard SiegWilfried 1993 Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.