@article{DBLP:journals/ai/BernardiniFS18,
  title = "Extracting mutual exclusion invariants from lifted temporal planning domains",
  author = "Sara Bernardini and Fabio Fagnani and David E. Smith",
  year = "2018",
  journal = "Artif. Intell.",
  pages = "1--65",
  url = "https://doi.org/10.1016/j.artint.2018.01.004",
  volume = "258",
  doi = "10.1016/J.ARTINT.2018.01.004",
}