Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró. Formal Reasoning on Natural Language Descriptions of Processes. In Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling, editors, Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings. Volume 11675 of Lecture Notes in Computer Science, pages 86-101, Springer, 2019. [doi]
Abstract is missing.