TY  - RPRT
TI  - Bounded and Approximate Strong Satisfiability in Workflows
AU  - Jason Crampton
AU  - Gregory Gutin
AU  - Diptapriyo Majumdar
PY  - 2019
UR  - https://arxiv.org/abs/1904.07234
ID  - 1904.07234
ER  -