E. Chemla, and B. Spector. Amsterdam Colloquium on Logic, Language and Meaning, volume 6042 of Lecture Notes in Computer Science, page 53-62. Springer, (2009)
E. Chemla, and L. Bott. Amsterdam Colloquium on Logic, Language and Meaning, volume 7218 of Lecture Notes in Computer Science, page 143-149. Springer, (2011)