@misc{indiciaecc89f1fcd608,
  title = {SMART: A Propositional Logic-Based Trade Analysis and Risk Assessment Tool for a Complex Mission},
  author = {Ono, Masahiro and Nicholas, Austin and Alibay, Farah and Parrish, Joseph},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160008262},
  note = {Source identifier: 20160008262}
}