TY  - RPRT
TI  - Constraint Reasoning Over Strings
AU  - Koga, Dennis
AU  - Golden, Keith
AU  - Pang, Wanlin
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030054480
ID  - 20030054480
ER  -