Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods