%0 Journal Article %A Scheines, Richard %A Sieg, Wilfried %D 1993 %T An Experimental Comparison of Alternative Proof Construction Environments %U https://kilthub.cmu.edu/articles/journal_contribution/An_Experimental_Comparison_of_Alternative_Proof_Construction_Environments/6490898 %R 10.1184/R1/6490898.v1 %2 https://kilthub.cmu.edu/ndownloader/files/11932343 %K Philosophy %X Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments. %I Carnegie Mellon University