@inproceedings{KV17,
  author    = {O. Kupferman and G. Vardi},
  title     = {Flow Logic},
  booktitle = concur17,
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
   volume =	{85},
   pages     = {9:1--9:18},
  year      = {2017}
}