Indistinguishability and First-Order Logic.

Skip Jordan, Thomas Zeugmann

Browse the full TAMC paper archive.