TY  - RPRT
TI  - A Game Model for Proofs with Costs
AU  - Timo Lang
AU  - Carlos Olarte
AU  - Elaine Pimentel
AU  - Christian Fermuller
PY  - 2019
UR  - https://arxiv.org/abs/1906.11742
ID  - 1906.11742
ER  -