author = {T. Jebelean},
title = {{A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation}},
booktitle = {{LPAR 2024 Complementary Volume}},
language = {English},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {107--116},
publisher = {EasyChair},
isbn_issn = { ISSN 2515-1762},
year = {2024},
editor = {N. Bjørner and M. Heule and A. Voronkov},
refereed = {yes},
length = {10},
url = {/publications/paper/n11t}