TY  - RPRT
TI  - Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic
AU  - Camillo Fiorentini
AU  - Mauro Ferrari
PY  - 2018
DO  - 10.1145/3372299
UR  - https://arxiv.org/abs/1804.06689
ID  - 1804.06689
ER  -