T Lang, C. Olarte, E. Pimentel, C. Fermüller:
"A Game Model for Proofs with Costs";
Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 241 - 258.