@inproceedings{BKKS13,
  author    = {O. Kupferman and G. Vardi},
  title     = {The Unfortunate-Flow Problem},
  booktitle = icalp18,
  pages     = {157:1--157:14},
  series    = {LIPIcs},
  volume    = {107},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},  
  year      = {2018}
}