Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller. A Game Model for Proofs with Costs. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 241-258, Springer, 2019. [doi]
Abstract is missing.