@misc{indiciae81290fbfb37e,
  title = {Bounded and Approximate Strong Satisfiability in Workflows},
  author = {Jason Crampton and Gregory Gutin and Diptapriyo Majumdar},
  year = {2019},
  url = {https://arxiv.org/abs/1904.07234},
  note = {Source identifier: 1904.07234}
}