@misc{indiciae134d1fd105b3,
  title = {Healthiness from Duality},
  author = {Wataru Hino and Hiroki Kobayashi and Ichiro Hasuo and Bart Jacobs},
  year = {2016},
  url = {https://arxiv.org/abs/1605.00381},
  note = {Source identifier: 1605.00381}
}