@misc{indiciae1aa8574a03bc,
  title = {Using abstraction in multi-rover scheduling},
  author = {Clement, B. J. and Barrett, A. C. and Rabideau, G. and Durfee, E.},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20060031745},
  note = {Source identifier: 20060031745}
}