@misc{indiciae25b647522fc2,
  title = {Finding Mutual Exclusion Invariants in Temporal Planning Domains},
  author = {Bernardini, Sara and Smith, David E.},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110020475},
  note = {Source identifier: 20110020475}
}