@misc{indiciaed8a9098b8399,
  title = {Taming Numbers and Durations in the Model Checking Integrated Planning System},
  author = {S. Edelkamp},
  year = {2011},
  doi = {10.1613/jair.1302},
  url = {https://arxiv.org/abs/1107.0025},
  note = {Source identifier: 1107.0025}
}