Forum
(1996) : Miller, Dale
DOI: https://doi.org/10.1016/0304-3975(96)00045-x
#Forum #proof_search #sequent_calculus #specification_logic #proof #design #my_bibtex