Paul Tarau. Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. TPLP, 22(5):693-707, 2022. [doi]
@article{Tarau22, title = {Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis}, author = {Paul Tarau}, year = {2022}, doi = {10.1017/S1471068422000254}, url = {https://doi.org/10.1017/S1471068422000254}, researchr = {https://researchr.org/publication/Tarau22}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {22}, number = {5}, pages = {693-707}, }