@inproceedings{BMO22,
  author    = {Michael Blondin and Filip Mazowiecki and Philip
                  Offtermatt},
  title     = {The complexity of soundness in workflow nets},
  booktitle = {Proc.\ $\text{37}^\text{th}$ Annual {ACM/IEEE}
                  Symposium on Logic in Computer Science ({LICS})},
  pages     = {20:1--20:13},
  year      = {2022},
  doi       = {10.1145/3531130.3533341}
}