TY  - RPRT
TI  - Translating MFM into FOL: towards plant operation planning
AU  - Shota Motoura
AU  - Kazeto Yamamoto
AU  - Shumpei Kubosawa
AU  - Takashi Onishi
PY  - 2018
UR  - https://arxiv.org/abs/1806.07037
ID  - 1806.07037
ER  -