A Game for Counting Logic Formula Size and an Application to Linear Orders.

Gregoire Fournier, Gyrgy Turn

Browse the full CSL paper archive.