A Game Model for Proofs with Costs.

Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller

Browse the full TABLEAUX paper archive.