Keyword:logic of here-and-there

Papers
EasyChair Preprint no. 199