TY  - RPRT
TI  - Propagating Resource Constraints Using Mutual Exclusion Reasoning
AU  - Frank, Jeremy
AU  - Sanchez, Romeo
AU  - Do, Minh B.
AU  - Clancy, Daniel
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20020052614
ID  - 20020052614
ER  -