@misc{indiciae95e3655ebaa3,
  title = {Translating MFM into FOL: towards plant operation planning},
  author = {Shota Motoura and Kazeto Yamamoto and Shumpei Kubosawa and Takashi Onishi},
  year = {2018},
  url = {https://arxiv.org/abs/1806.07037},
  note = {Source identifier: 1806.07037}
}