Glyn Morrill. Clausal Proofs and Discontinuity. Logic Journal of the IGPL, 3(2-3):403-427, 1995. [doi]
@article{Morrill95,
title = {Clausal Proofs and Discontinuity},
author = {Glyn Morrill},
year = {1995},
doi = {10.1093/jigpal/3.2-3.403},
url = {http://dx.doi.org/10.1093/jigpal/3.2-3.403},
researchr = {https://researchr.org/publication/Morrill95},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {3},
number = {2-3},
pages = {403-427},
}