Camillo Fiorentini, Mauro Ferrari 0002. Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic. ACM Trans. Comput. Log., 21(3), 2020. [doi]
@article{FiorentiniF20, title = {Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic}, author = {Camillo Fiorentini and Mauro Ferrari 0002}, year = {2020}, doi = {10.1145/3372299}, url = {https://doi.org/10.1145/3372299}, researchr = {https://researchr.org/publication/FiorentiniF20}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {21}, number = {3}, }