@misc{indiciaec242243d746a,
  title = {The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively},
  author = {Horvath, Joan C. and Alkalaj, Leon J. and Schneider, Karl M. and Amador, Arthur V. and Spitale, Joseph N.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940019402},
  note = {Source identifier: 19940019402}
}