@article{Scheines2018, author = "Richard Scheines and Wilfried Sieg", title = "{An Experimental Comparison of Alternative Proof Construction Environments}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/An_Experimental_Comparison_of_Alternative_Proof_Construction_Environments/6490898", doi = "10.1184/R1/6490898.v1" }