Skip Jordan, Thomas Zeugmann. Indistinguishability and First-Order Logic. In Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li, editors, Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi an, China, April 25-29, 2008. Proceedings. Volume 4978 of Lecture Notes in Computer Science, pages 94-104, Springer, 2008. [doi]