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]
@inproceedings{LangOPF19, title = {A Game Model for Proofs with Costs}, author = {Timo Lang and Carlos Olarte and Elaine Pimentel and Christian G. Fermüller}, year = {2019}, doi = {10.1007/978-3-030-29026-9_14}, url = {https://doi.org/10.1007/978-3-030-29026-9_14}, researchr = {https://researchr.org/publication/LangOPF19}, cites = {0}, citedby = {0}, pages = {241-258}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings}, editor = {Serenella Cerrito and Andrei Popescu 0001}, volume = {11714}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-29026-9}, }