@misc{indiciae1d87bb73b3de,
  title = {Deviser - An AI planner for spacecraft operations},
  author = {Vere, S. A.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19850047517},
  note = {Source identifier: 19850047517}
}