@misc{indiciae07d56cdfa444,
  title = {Revisiting MITL to Fix Decision Procedures},
  author = {Nima Roohi and Mahesh Viswanathan},
  year = {2019},
  url = {https://arxiv.org/abs/1910.04216},
  note = {Source identifier: 1910.04216}
}