Two-variable Logic with Counting and a Linear Order.

Witold Charatonik, Piotr Witkowski

Browse the full CSL paper archive.