@misc{indiciae3b09826b8b19,
  title = {Transition Semantics - The Dynamics of Dependence Logic},
  author = {Pietro Galliani},
  year = {2013},
  url = {https://arxiv.org/abs/1203.0871},
  note = {Source identifier: 1203.0871}
}