Report - Two-Variable Logic with Counting and Data-Treesipratt/papers/logic/c21d1e.pdfTwo-Variable Logic with Counting and Data-Trees Witold Charatonik 1, Ian Pratt-Hartmann2, and Piotr Witkowski

Please pass captcha verification before submit form