Paul Tarau. A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. In José Júlio Alferes, Moa Johansson, editors, Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Volume 11372 of Lecture Notes in Computer Science, pages 115-132, Springer, 2019. [doi]
Abstract is missing.