@misc{indiciae63ff01e172db,
  title = {Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems},
  author = {Galina Rybina and Alexey Mozgachev and Dmitry Demidov},
  year = {2017},
  url = {https://arxiv.org/abs/1704.05392},
  note = {Source identifier: 1704.05392}
}