Volker Halbach, Leon Horsten. Two Proof-Theoretic Remarks on EA + ECT. Math. Log. Q., 46(4):461-466, 2000. [doi]
@article{HalbachH00,
title = {Two Proof-Theoretic Remarks on EA + ECT},
author = {Volker Halbach and Leon Horsten},
year = {2000},
doi = {10.1002/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-I},
url = {http://dx.doi.org/10.1002/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-I},
researchr = {https://researchr.org/publication/HalbachH00},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {46},
number = {4},
pages = {461-466},
}