Mauro Ferrari, Camillo Fiorentini. Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic. Journal of Automated Reasoning, 62(1):127-167, 2019. [doi]
@article{FerrariF19, title = {Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic}, author = {Mauro Ferrari and Camillo Fiorentini}, year = {2019}, doi = {10.1007/s10817-017-9427-3}, url = {https://doi.org/10.1007/s10817-017-9427-3}, researchr = {https://researchr.org/publication/FerrariF19}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {62}, number = {1}, pages = {127-167}, }