TY  - RPRT
TI  - The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively
AU  - Horvath, Joan C.
AU  - Alkalaj, Leon J.
AU  - Schneider, Karl M.
AU  - Amador, Arthur V.
AU  - Spitale, Joseph N.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940019402
ID  - 19940019402
ER  -