Nicole Schweikardt. A Toolkit for Proving Limitations of the Expressive Power of Logics. In Branislav Rovan, Vladimiro Sassone, Peter Widmayer, editors, Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Volume 7464 of Lecture Notes in Computer Science, pages 46-47, Springer, 2012. [doi]
Abstract is missing.